2 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Trending
Random
Subjects
Computer science, Mathematical Logic and Foundations, Mathematics, Mathematics of Computing, Symbolic and mathematical Logic, Algebra, Automatic theorem proving, Data processing, Formal languages, Logic, Mathematical optimization, Optimization, Proof theory, Symbolic and Algebraic Manipulation, Type theoryID Numbers
- OLID: OL5340243A
Links outside Open Library
No links yet. Add one?

