Books by Anne S. Troelstra
3 titles available, newest first by original publication date.
Basic Proof Theory
Anne S. Troelstra
$78.99
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Anne S. Troelstra
$84.99
Principles of Intuitionism: Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at Suny at Buffalo, NY
Principles of Intuitionism: Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at Suny at Buffalo, NY
Anne S. Troelstra
$50.99