Anne S. Troelstra’s Followers (2)

Anne S. Troelstra

Combine Editions
Anne S. Troelstra’s books

Average rating: 3.95 · 19 ratings · 2 reviews · 18 distinct works

	Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) by Anne S. Troelstra, H. Schwichtenberg 3.91 avg rating — 11 ratings — published 1996 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Lectures on Linear Logic (Volume 29) (Lecture Notes) 3.33 avg rating — 3 ratings — published 1992 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Bibliography of Natural History Travel Narratives really liked it 4.00 avg rating — 2 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Choice Sequences: A Chapter of Instuitionistic Mathematics it was amazing 5.00 avg rating — 1 rating — published 1977	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344) 0.00 avg rating — 0 ratings — published 1973 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics, 95) 0.00 avg rating — 0 ratings — published 1969	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121) by Anne S. Troelstra, Dirk van Dalen 0.00 avg rating — 0 ratings — published 1988 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Kolibries in de oren 0.00 avg rating — 0 ratings — published 2009	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Tijgers op de Ararat 0.00 avg rating — 0 ratings — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Provability, Computability and Reflection by Anne S. Troelstra, Lev D. Beklemishev, Dirk van Dalen (Editor) 0.00 avg rating — 0 ratings — published 1988	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars