![Cover image for Proofs and Algorithms An Introduction to Logic and Computability Cover image for Proofs and Algorithms An Introduction to Logic and Computability](/client/assets/4.5.1/ctx/images/no_image.png)
Title:
Proofs and Algorithms An Introduction to Logic and Computability
Author:
Dowek, Gilles. author.
ISBN:
9780857291219
Personal Author:
Edition:
1st ed. 2011.
Physical Description:
XII, 156 p. online resource.
Series:
Undergraduate Topics in Computer Science,
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-0-85729-121-9Available:*
Library | Material Type | Item Barcode | Shelf Number | Status |
---|---|---|---|---|
Searching... | E-Book | 154612-1001 | QA75.5 -76.95 | Searching... |