Basic Proof Theory A. S. Troelstra H. Schwichtenberg

by A. S. Troelstra · 1 review · 2001

Metaphysics & Logic

Also by Troelstra

• Choice sequences. A chapter of intuitionistic mathematics (2 reviews)
• Lectures on Linear Logic (2 reviews)
• Constructivism in Mathematics (1 review)
• Constructivism in Mathematics, V1 (1 review)
• Constructivism in Mathematics, V2 (1 review)
• Principles of intuitionism (1 review)

Search PhilReviews for this title