Language in action : categories, lambdas and dynamic logic / Johan van Benthem
mainEntity
Language in action : categories, lambdas and dynamic logic / Johan van Benthem
associatedMedia
<http://catdir.loc.gov/catdir/enhancements/fy0601/90026865-d.html>
<http://digitool.hbz-nrw.de:18 ...... tom%5Fatt%5F2=simple%5Fviewer>
<http://digitool.hbz-nrw.de:18 ...... 28&custom_att_2=simple_viewer>
<http://www.gbv.de/dms/hbz/toc/ht003865603.pdf>
<http://www.loc.gov/catdir/enhancements/fy0601/90026865-d.html>
<http://www.zentralblatt-math.org/zmath/en/search/?an=0717.03001>
author
inLanguage
isbn
0444890009
mainEntityOfPage
name
Language in action : categories, lambdas and dynamic logic
numberOfPages
publication
sameAs
label
Language in action : categories, lambdas and dynamic logic / Johan van Benthem