Books by Anne S. Troelstra

Anne S. Troelstra
Average rating 3.95 · 19 ratings · 2 reviews · shelved 369 times

Showing 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) by Anne S. Troelstra 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
	Constructivism in Mathematics: An Introduction (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121) by Dirk van Dalen, Anne S. Troelstra 4.50 avg rating — 2 ratings — published 1988 — 2 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 by Anne S. Troelstra 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 by Anne S. Troelstra 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
	Logical Frameworks for Truth and Abstraction by Andrea Cantini, Samson Abramsky (Editor), S. Artemov (Editor), Jon Barwise (Editor) it was amazing 5.00 avg rating — 1 rating — published 1996 — 6 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
	Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344) by Anne S. Troelstra (Editor) 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) by Anne S. Troelstra 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 by Anne S. Troelstra 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 by Anne S. Troelstra 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
	Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY by Anne S. Troelstra 0.00 avg rating — 0 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
	Metamathematical Investigation of Intuitionistic Arithmetic and Analysis by Anne S. Troelstra (Editor) 0.00 avg rating — 0 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
	CONSTRUCTIVISM IN MATHEMATICS by Anne S. Troelstra 0.00 avg rating — 0 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
	Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics Book 344) by Anne S. Troelstra (editor) 0.00 avg rating — 0 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
	Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics Book 95) by Anne S. Troelstra 0.00 avg rating — 0 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
	-Bibliography of Mathematical Logic by Gert H. Muller (Editor), Dirk van Dalen (Editor), Anne S. Troelstra (Editor) 0.00 avg rating — 0 ratings — published 1987	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

* Note: these are all the books on Goodreads for this author. To add more books, click here.