Proofs and Algorithms
Subtitle: An Introduction to Logic and Computability
By: by Gilles Dowek
Contributors: SpringerLink (Online service)
Series: Undergraduate Topics in Computer Science
Publisher: Springer-Verlag London Limited
Published: 2011
Place of publication: London
Language: eng
Format: [electronic resource] :
ISBN-13: 9780857291202; 9780857291219
Subjects: Information theory; Computer science