Bibliothèque de Faculté des mathématiques et de l'informatique
Détail d'une collection
|
|
Documents disponibles dans la collection (2)
Affiner la recherche Interroger des sources externes
Titre : Computability, complexity, logic Type de document : texte imprimé Auteurs : Egon Börger (1946-....), Auteur ; Berechenbarkeit, Komplexität, Logic, Traducteur Editeur : Amsterdam : North-Holland Année de publication : 1989 Autre Editeur : New York : Distributors for the U.S.A. and Canada Collection : Studies in logic and the foundations of mathematics num. v. 128 Importance : 592 p. Présentation : couv. en coul. ill. Format : 24 cm. ISBN/ISSN/EAN : 978-0-444-87406-1 Note générale : Bibliogr. p.528-573. Index. Langues : Anglais (eng) Langues originales : Allemand (ger) Index. décimale : 04-08-Mathématiques appliquées Computability, complexity, logic [texte imprimé] / Egon Börger (1946-....), Auteur ; Berechenbarkeit, Komplexität, Logic, Traducteur . - Amsterdam : North-Holland : New York : Distributors for the U.S.A. and Canada, 1989 . - 592 p. : couv. en coul. ill. ; 24 cm.. - (Studies in logic and the foundations of mathematics; v. 128) .
ISBN : 978-0-444-87406-1
Bibliogr. p.528-573. Index.
Langues : Anglais (eng) Langues originales : Allemand (ger)
Index. décimale : 04-08-Mathématiques appliquées Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 59823 04-08-24 Livre Bibliothèque de faculté d'informatique et mathématique Mathématiques Disponible
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
