Logics and type systems / Jan Herman Geuvers

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

Auteursnaam op omslag: Herman Geuvers

rdfs:label	"Logics and type systems / Jan Herman Geuvers"
schema:name	"Logics and type systems"
schema:author	Geuvers, Jan Herman (1964-)
schema:description	"Auteursnaam op omslag: Herman Geuvers"
	"Proefschrift Nijmegen"
schema:sameAs	<http://www.worldcat.org/oclc/66152437>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/fbc5ae529f8b50c37813f3dbc5073d07>
http://purl.org/dc/terms#issued	"1993"
schema:about	Logica
	Theory of proof
	<http://data.bibliotheken.nl/id/thes/p077605179>
	Systems theory
	wiskundige logica
	informatietechnologie
	Mathematische logica
	Lambda-calculus
schema:inLanguage	"en"
schema:isbn	"9090063528"
schema:numberOfPages	209
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/d7cc34051399b42bdb4f19befe2fde2a>