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.