Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek.
Record details
- ISBN: 9780857291219
- Physical Description: VIII, 195p. digital.
- Publisher: London : Springer London, 2011.
Search for related items by subject
Subject: | Computer science. Information theory. Computer Science. Theory of Computation. Mathematical Logic and Formal Languages. |