Library - International Centre for Theoretical Sciences catalog › Results of search for 'au:"Anne S. Troelstra"'

Your search returned 2 results.

Not what you expected? Check for suggestions

	1.	Metamathematical Investigation of Intuitionistic Arithmetic and Analysis by Anne S. Troelstra. Series: Lecture Notes in Mathematics ; v.344Edition: 1973Material type: Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1973Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	2.	Principles of Intuitionism by Anne S. Troelstra. Series: Lecture Notes in Mathematics ; v.95Edition: 1969Material type: Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1969Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)