E-book
Proofs and Algorithms An Introduction to Logic and Computability
Record details
- ISBN: 9780857291219
-
Physical Description:
electronic
electronic resource
access
remote
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 |
