3 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
Subjects
Lambda calculus, Combinatory logic, AUTOMATH (Formal language), Bibliography, Symbolic and mathematical LogicID Numbers
- OLID: OL5672947A
Links outside Open Library
No links yet. Add one?
October 21, 2008 | Created by ImportBot | Imported from University of Toronto MARC record |