Ben-Ari. Mathematical Logic for Computer Science

springer.comsite

Semantic tableaux are used because they are theoretically sound and easy to understand.

from

Theoretical Computer Science

added

2026-10-10

likes

0

similar

1. ▲
   Mathematical Logic sgslogic.net

   site category #math link ↗

   Stephen G. Simpson (Pennsylvania State University).

2. ▲
   Introduction to Logic logic.stanford.edu

   site category #math link ↗

   Michael Genesereth, Eric J. Kao (Stanford University).

3. ▲
   Logics for Epistemic Programs link.springer.com

   site category #agi-cocosci link ↗

   Synthese, 2004. [All Versions].

   
4. ▲
   Lacona. LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science link.springer.com

   site category #theoretical-computer-science link ↗

   Suitable for undergraduate introductions to logic and early graduate courses on logic.

   
5. ▲
   Formal Logic maude.sip.ucm.es

   site category #math link ↗

   Miguel Palomino.

6. ▲
   Logic and Proof avigad.github.io

   site category #math link ↗

   Jeremy Avigad, Robert Y. Lewis, and Floris van Doorn.

Theoretical Computer Science › General > Books: “Semantic tableaux are used because they are theoretically sound and easy to understand.”