Elementary inductive definitions in HA : from strictly positive towards monotone / Dirk Roorda

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

rdfs:label	"Elementary inductive definitions in HA : from strictly positive towards monotone / Dirk Roorda"
schema:name	"Elementary inductive definitions in HA : from strictly positive towards monotone"
schema:author	Roorda, Dirk (1962-)
	Instituut voor Taal, Logica en Informatie (Amsterdam)
schema:sameAs	<http://www.worldcat.org/oclc/65242034>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/16803a7682ef68388bb71f6a5b9902ec>
http://purl.org/dc/terms#issued	"1989"
schema:about	wiskundige logica
schema:inLanguage	"en"
schema:isPartOf	ITLI prepublication series
schema:numberOfPages	10
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/b1bc2bfdf85f39e402b0506fba671161>