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.