1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Subjects
Berechenbarkeit, Beweistheorie, Computable functions, Logic, Nichtklassische Logik, Nonclassical mathematical logic, Proof theoryID Numbers
- OLID: OL7228112A
Links (outside Open Library)
No links yet. Add one?
October 11, 2014 | Created by Susan G. Sterrett | Edited without comment. |