Language in action : categories, lambdas and dynamic logic / Johan van Benthem

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

Oorspr. uitg.: Amsterdam : Elsevier Science, 1991

rdfs:label	"Language in action : categories, lambdas and dynamic logic / Johan van Benthem"
schema:name	"Language in action : categories, lambdas and dynamic logic"
schema:author	Benthem, Johannes Franciscus Abraham Karel van (1949-)
schema:description	"Oorspr. uitg.: Amsterdam : Elsevier Science, 1991"
schema:sameAs	<http://www.worldcat.org/oclc/32391915>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/e3807a9037452976735f4f95ccb98b4b>
http://purl.org/dc/terms#issued	"1995"
schema:about	Modeltheorie
	Lambda-calculus
	<http://data.bibliotheken.nl/id/thes/p077601874>
	Categoriale grammatica
schema:bookEdition	"[New ed.]"
schema:inLanguage	"en"
schema:isbn	"0262720248"
schema:numberOfPages	365
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/70dc0d68ba40ace6e04f5698966fdbc2>