Metamathematical investigation of intuitionistic arithmetic and analysis / A.S. Troelstra (ed.)

<http://data.bibliotheken.nl/id/nbt/p110501802>

Oorspr. uitg.: 1973

rdfs:label	"Metamathematical investigation of intuitionistic arithmetic and analysis / A.S. Troelstra (ed.)"
schema:name	"Metamathematical investigation of intuitionistic arithmetic and analysis"
schema:contributor	Troelstra, Anne Sjerp (1939-2019)
schema:description	"Oorspr. uitg.: 1973"
schema:sameAs	<http://www.worldcat.org/oclc/28651169>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/2bd1de20e96e33637a4f7c256c29dcea>
http://purl.org/dc/terms#issued	"1993"
schema:about	Intuïtionisme
	Modeltheorie
	Theory of proof
schema:bookEdition	"2nd corr. ed"
schema:inLanguage	"en"
schema:isPartOf	ILLC prepublication series
schema:numberOfPages	492
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/8ed6524c6ce91976a28c51278b713226>