Proofs and Algorithms An Introduction to Logic and Computability
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. |