Dowek, Gilles
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
- Availability
- To see availability please select your region.
- Books2Africa Collection
-
- Subjects
- Author(s)
- Published
- 14th January 2011
- Publisher
- Springer
- ISBN-10
- 0857291203
- ISBN-13
- 9780857291202
To reserve this book you first need to set your reservation location.