Language in action categories, lambdas and dynamic logic

Bibliographic Details
Main Author: Benthem, Johan van (-)
Format: Book
Language:Inglés
Published: Amsterdam [etc.] : North-Holland 1994
Edition:[1st print., 2nd impression]
Series:Studies in Logic and the Foundations of Mathematics ; 130
Subjects:
See on Universidad de Navarra:https://unika.unav.edu/discovery/fulldisplay?docid=alma991010569349708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es

Similar Items