MPG.eBooks - Author Search Results

Cover Image

1

Principles of Intuitionism : Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY

by Troelstra, Anne S.
Published 1969

Springer Berlin Heidelberg

Cover Image

2

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Published 1973

Springer Berlin Heidelberg

Other Authors: “...Troelstra, Anne S....”