Lacona. LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science
Suitable for undergraduate introductions to logic and early graduate courses on logic.
- from
- Theoretical Computer Science
- added
- 2026-10-10
- likes
- 0
similar
-
-
Gries & Schneider. A Logical Approach to Discrete Math springer.com
It attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it.
-
Yves Nievergelt. Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications springer.com
For lower undergraduates, It introduces the reader to logic, proofs, sets, and number theory, Focusing on foundations. It provides complete details and derivations of formal proofs.
-
Krantz. Handbook of Logic and Proof Techniques for Computer Science maa.org
A concise offered as an accessible reference on mathematical logic for the professional computer scientist.
-
-
Ben-Ari. Mathematical Logic for Computer Science springer.com
Semantic tableaux are used because they are theoretically sound and easy to understand.
Theoretical Computer Science › General > Books: “Suitable for undergraduate introductions to logic and early graduate courses on logic.”