00936nam0-22003371i-450-9900013213304033210-444-89000-9000132133FED01000132133(Aleph)000132133FED0100013213320000920d1991----km-y0itay50------baengLanguage in actioncategories, lambdas and dynamic logicJohan Van BenthemAmsterdam [etc.]North-Holland1991x, 349 p.24 cmStudies in logic and the foundations of mathematics130LogicaCalcolo lambda511.3Benthem,Johan van51846ITUNINARICAUNIMARCBK990001321330403321C-30-(1309100MA1MA103BXX03B40Language in action382997UNINAING01