Combinators, λ-Terms and Proof Theory
Share:
Also Available in:
- Amazon
- Audible
- Barnes & Noble
- AbeBooks
- Kobo
More Details
- Format:
- Pages: pages
- Publication:
- Publisher:
- Edition:1972
- Language:
- ISBN10:9027703051
- ISBN13:9789027703057
- kindle Asin:B00FDWXUDO
About Author
