AAPI Heritage Month
Genres

Cs Logic


Cs Logic Books

Logic for Computer Science: Foundations of Automatic Theorem Proving (Dover Books on Computer Science)
Mathematical Logic for Computer Science
Computability and Logic
Combinatory Logic (Discrete Mathematics and Its Applications)
Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar
Logic, Language, and Meaning, Volume 1: Introduction to Logic (Volume 1)
A Mathematical Introduction to Logic
An Introduction to Mathematical Logic (Dover Books on Mathematics)
Mathematical Logic, 2nd Edition
Friendly Introduction to Mathematical Logic, A
More cs logic books...