Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek.
Material type: Computer fileSeries: Undergraduate Topics in Computer SciencePublication details: London : Springer-Verlag London Limited, 2011.Description: v.: digitalISBN:- 9780857291219
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.