Titre :	Language in action : Categories, lambdas, and dynamic logic
Type de document :	texte imprimé
Auteurs :	Johan van Benthem (1949-....), Auteur
Editeur :	Amsterdam : North-Holland
Année de publication :	1991
Autre Editeur :	New York : Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
Collection :	Studies in logic and the foundations of mathematics num. v. 130
Importance :	349 p.
Présentation :	couv. en coul. ill.
Format :	24 cm.
ISBN/ISSN/EAN :	978-0-444-89000-9
Note générale :	Bibliogr. p. 327-344. Index.
Langues :	Anglais (eng)
Index. décimale :	04-07-Logique mathématique

Language in action : Categories, lambdas, and dynamic logic [texte imprimé] / Johan van Benthem (1949-....), Auteur . - Amsterdam : North-Holland : New York : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991 . - 349 p. : couv. en coul. ill. ; 24 cm.. - (Studies in logic and the foundations of mathematics; v. 130) .
ISBN : 978-0-444-89000-9
Bibliogr. p. 327-344. Index.
Langues : Anglais (eng)

Index. décimale :

04-07-Logique mathématique