Dowek, Gilles.
Proofs and Algorithms An Introduction to Logic and Computability / [electronic resource] : by Gilles Dowek. - London : Springer London, 2011. - digital. - Undergraduate Topics in Computer Science, 1863-7310 . - Undergraduate Topics in Computer Science, .
9780857291219
10.1007/978-0-85729-121-9 doi
Computer science.
Information theory.
Computer Science.
Theory of Computation.
Mathematical Logic and Formal Languages.
QA75.5-76.95
004.0151
Proofs and Algorithms An Introduction to Logic and Computability / [electronic resource] : by Gilles Dowek. - London : Springer London, 2011. - digital. - Undergraduate Topics in Computer Science, 1863-7310 . - Undergraduate Topics in Computer Science, .
9780857291219
10.1007/978-0-85729-121-9 doi
Computer science.
Information theory.
Computer Science.
Theory of Computation.
Mathematical Logic and Formal Languages.
QA75.5-76.95
004.0151