Search list of books
Diese Seite auf deutsch. 
Esta página em português.
Back to the homepage.
Here a list of books I'm looking for:
- Barendregt: Lambda calculus, North-Holland.
- Shoenfield: Mathematical Logic, Addison-Wesley 1967.
- Takeuti: Proof Theory, North-Holland, 1987, 2nd edition.
- Troelstra, van Dalen: Constructivism in Mathematics, volume I and II, North-Holland 1988.
- To H.B. Curry, Academic Press 1980.
Diese Seite auf deutsch. Esta página em português.
Back to the homepage.
Last modified: Wed Jun 19 20:38:49 CEST 2002