an Introduction to mathematical logic and type theory / P. B. Andrews

Public ISBD Titre : an Introduction to mathematical logic and type theory : to truth through proof Type de document : texte imprimé Auteurs : P. B. Andrews Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 2002 Collection : Applied Logic Series num. 27 Importance : xviii - 408 p. ISBN/ISSN/EAN : 978-1-4020-0763-7 Note générale : commande M. Borer Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory Mots-clés : propositional logic  type theory  first-order logic Index. décimale : 03C Monographie an Introduction to mathematical logic and type theory : to truth through proof [texte imprimé] / P. B. Andrews  . -  2nd ed. . - [S.l.] : Springer-Verlag, 2002 . - xviii - 408 p.. - (Applied Logic Series; 27) . ISBN : 978-1-4020-0763-7 commande M. Borer Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory Mots-clés : propositional logic  type theory  first-order logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17760	03C167	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Graph structure and monadic second-order logic / Bruno Courcelle

Public ISBD Titre : Graph structure and monadic second-order logic : a language-theoretic approach Type de document : texte imprimé Auteurs : Bruno Courcelle, Auteur ; Joost Engelfriet, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : 2012 Collection : Encyclopedia of Mathematics and Its Applications num. 138 Importance : xiv - 728 p. Format : 24 cm ISBN/ISSN/EAN : 978-0-521-89833-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions Mots-clés : mathematical logic  Higher-order logic Index. décimale : 03C Monographie Graph structure and monadic second-order logic : a language-theoretic approach [texte imprimé] / Bruno Courcelle, Auteur ; Joost Engelfriet, Auteur . - Cambridge : Cambridge University Press, 2012 . - xiv - 728 p. ; 24 cm. - (Encyclopedia of Mathematics and Its Applications; 138) . ISBN : 978-0-521-89833-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions Mots-clés : mathematical logic  Higher-order logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20815	03C186	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Interactive theorem proving and program development / Bertot, Yves

Public ISBD Titre : Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohrin Type de document : texte imprimé Auteurs : Bertot, Yves ; Castéran, Pierre Editeur : Springer-Verlag Année de publication : 2004 Collection : Texts in Theoretical Computer Science. An EATCS Series Importance : xxv - 469 p. ISBN/ISSN/EAN : 978-3-540-20854-9 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.) Mots-clés : type theory  theorem proving  proof assistant  program verification  coq Index. décimale : 68C Monographie Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohrin [texte imprimé] / Bertot, Yves ; Castéran, Pierre . - [S.l.] : Springer-Verlag, 2004 . - xxv - 469 p. . - (Texts in Theoretical Computer Science. An EATCS Series) . ISBN : 978-3-540-20854-9 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.) Mots-clés : type theory  theorem proving  proof assistant  program verification  coq Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16714	68C305	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1