Sign in with Facebook
Cs Logic Books
Showing 1-10 of 10
Logic for Computer Science: Foundations of Automatic Theorem Proving (Dover Books on Computer Science)
by (shelved 3 times as cs-logic)
avg rating 4.45 — 11 ratings — published 1985
Mathematical Logic for Computer Science (Paperback)
by (shelved 3 times as cs-logic)
avg rating 3.76 — 21 ratings — published 2001
Computability and Logic (Paperback)
by (shelved 2 times as cs-logic)
avg rating 4.13 — 165 ratings — published 1980
Combinatory Logic (Discrete Mathematics and Its Applications)
by (shelved 1 time as cs-logic)
avg rating 4.50 — 2 ratings — published 2011
Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar (Paperback)
by (shelved 1 time as cs-logic)
avg rating 4.22 — 32 ratings — published 1982
Logic, Language, and Meaning, Volume 1: Introduction to Logic (Volume 1)
by (shelved 1 time as cs-logic)
avg rating 3.97 — 69 ratings — published 1982
A Mathematical Introduction to Logic (Hardcover)
by (shelved 1 time as cs-logic)
avg rating 3.96 — 147 ratings — published 1972
An Introduction to Mathematical Logic (Dover Books on Mathematics)
by (shelved 1 time as cs-logic)
avg rating 4.13 — 15 ratings — published 2013
Mathematical Logic, 2nd Edition (Hardcover)
by (shelved 1 time as cs-logic)
avg rating 4.47 — 30 ratings — published 1978
Friendly Introduction to Mathematical Logic, A (Hardcover)
by (shelved 1 time as cs-logic)
avg rating 3.74 — 27 ratings — published 1999
