Krantz. Handbook of Logic and Proof Techniques for Computer Science
A concise offered as an accessible reference on mathematical logic for the professional computer scientist.
- 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.
-
-
Lacona. LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science link.springer.com
Suitable for undergraduate introductions to logic and early graduate courses on logic.
-
-
Language, Proof, and Logic, Second Edition press.uchicago.edu
Paid textbook by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.
Theoretical Computer Science › General > Books: “A concise offered as an accessible reference on mathematical logic for the professional computer scientist.”