Showing 1 - 2 results of 2 for search 'Troelstra, Anne Sjerp 1939-', query time: 0.01s Refine Results
1
Metamathematical investigation of intuitionistic arithmetic and analysis
by Troelstra, Anne Sjerp 1939-
Published 1964
Book
2
Principles of intuitionism : lectures presented at the summer Conference on Intuitionism and Proof theory (1968) at SUNY at Bufalo, N.Y.
by Troelstra, Anne Sjerp 1939-
Published 1964
Book
Search Tools: Get RSS Feed — Email this Search