Appendix S1: G¨odel’s Consistency-Proof for Arithmetic (supplement to "Lambda-Calculus and Combinators, an Introduction")
- Author
- J. R. Hindley, J. P. Seldin
- Publisher
- Cambridge University Press
- Language
- English
- Year
- 2011
- ISBN
- 0521898854
- File Type
- pdf
- File Size
- 419.9 KiB
How to Download?!!!
Just click on START button on Telegram Bot