Formal systems for some branches of intuitionistic analysis / G. Kreisel and A.S. Troelstra

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

rdfs:label	"Formal systems for some branches of intuitionistic analysis / G. Kreisel and A.S. Troelstra"
schema:name	"Formal systems for some branches of intuitionistic analysis"
schema:author	Kreisel, Georg
schema:contributor	Troelstra, Anne Sjerp (1939-2019)
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/7b94e11701ce690d3eadc7a3e3f8812f>
http://purl.org/dc/terms#issued	"1970"
schema:about	<http://data.bibliotheken.nl/id/thes/p077601874>
schema:inLanguage	"en"
schema:isPartOf	Annals of mathematical logic
schema:numberOfPages	387
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/d49d1d4a261332880e760f4f26a2303a>