Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek.
By: Dowek, Gilles.
Contributor(s): SpringerLink (Online service).
Material type: BookSeries: Undergraduate Topics in Computer Science.Publisher: London : Springer London, 2011Description: digital.ISBN: 9780857291219.Subject(s): Computer science | Information theory | Computer Science | Theory of Computation | Mathematical Logic and Formal LanguagesDDC classification: 004.0151 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.