Büchersuchliste
Esta página em português. 
This page in English.
Zurück zur Homepage.
Hier eine Auswahl von mir (privat) gesuchter Bücher:
- Barendregt: Lambda calculus, North-Holland.
- Shoenfield: Mathematical Logic, Addison-Wesley 1967.
- Takeuti: Proof Theory, North-Holland, 1987, 2.Auflage.
- Troelstra, van Dalen: Constructivism in Mathematics, Band I und II, North-Holland 1988.
- To H.B. Curry, Academic Press 1980.
Esta página em português. This page in English.
Zurück zur Homepage.
Last modified: Wed Jun 19 20:38:49 CEST 2002