Lambda-conversion and logic / door Adrian Rezus

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

Samenvatting in het Nederlands

rdfs:label	"Lambda-conversion and logic / door Adrian Rezus"
schema:name	"Lambda-conversion and logic"
schema:author	Rezus, Adrian (1949-)
schema:description	"Samenvatting in het Nederlands"
	"Proefschrift Utrecht"
schema:sameAs	<http://www.worldcat.org/oclc/905443433>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/76ef77fb0cea968aa986cf960852b1a5>
http://purl.org/dc/terms#issued	"1981"
schema:about	Mathematical logic
	<http://data.bibliotheken.nl/id/thes/p077601874>
	Mathematische logica
	wiskundige logica
	Lambda-calculus
schema:inLanguage	"en"
schema:numberOfPages	197
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/4744e8009597a089c6653f730b1e1ca8>