5 works Add another?
Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Proof theory, Mathematics, Symbolic and mathematical Logic, Beweistheorie, Congresses, Congrès, Logic, Logic, Symbolic and mathematical, Logic, symbolic and mathematical, Logique symbolique et mathématique, Mathematical Logic and Foundations, Mathematical logic, Science/MathematicsID Numbers
- OLID: OL900192A
Links (outside Open Library)
No links yet. Add one?
August 21, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |