2 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
Computer science, Mathematics, Symbolic and mathematical Logic, Algebra, Automatic theorem proving, Data processing, Formal languages, Logic, Mathematical Logic and Foundations, Mathematical optimization, Mathematics of Computing, Proof theory, Type theoryID Numbers
- OLID: OL5340243A
Links (outside Open Library)
No links yet. Add one?
September 30, 2008 | Created by ImportBot | Imported from Oregon Libraries MARC record |