5 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Trending
Random
-
Preview Book
×Close
Subjects
Computer science, Computer science, mathematics, General, Informatique, Logique symbolique et mathématique, Mathematics, Proof theory, Symbolic and mathematical Logic, Théorie de la preuve, Beweistheorie, Bewijstheorie, COMPUTERS, Computer Literacy, Computer Science, Data Processing, Discrete mathematics, Hardware, Information Technology, Logic, Symbolic and mathematical, Logic, symbolic and mathematical, MATHEMATICS, Machine Theory, Mathematiques, Mathématiques, Mathématiques discrètesID Numbers
- OLID: OL355422A
Links outside Open Library
No links yet. Add one?
| September 1, 2008 | Edited by RenameBot | fix author name |
| April 1, 2008 | Created by an anonymous user | initial import |


