Language in action / Johan van Benthem

Public ISBD 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

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
59839	04-07-06	Livre	Bibliothèque de faculté d'informatique et mathématique	Mathématiques	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200