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

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

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:sameAs	<http://www.worldcat.org/oclc/905468225>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/a75322750f3c25f2a8af777fd8acc1bf>
http://purl.org/dc/terms#issued	"1991"
schema:about	Categoriale grammatica
	Typentheorie
	grammatica
	Logica
	Lambda-calculus
	wiskundige logica
	<http://data.bibliotheken.nl/id/thes/p077601874>
schema:associatedMedia	<http://www.zentralblatt-math.org/zmath/en/search/?an=0717.03001>
	<http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=2026328&custom%5Fatt%5F2=simple%5Fviewer>
	<http://www.gbv.de/dms/hbz/toc/ht003865603.pdf>
	<http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=2026328&custom_att_2=simple_viewer>
	<http://www.loc.gov/catdir/enhancements/fy0601/90026865-d.html>
	<http://catdir.loc.gov/catdir/enhancements/fy0601/90026865-d.html>
schema:inLanguage	"en"
schema:isPartOf	Studies in logic and the foundations of mathematics / ed. J. Barwise ... [et al.]
schema:isbn	"0444890009"
schema:numberOfPages	349
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/b342190ebafa1c9bbf4f2b0db5b9d91b>