4 résultat(s) recherche sur le mot-clé 'propositional logic'

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

an Introduction to modal logic / Hughes, G.D.

Public ISBD Titre : an Introduction to modal logic Type de document : texte imprimé Auteurs : Hughes, G.D. ; Cresswell, M.J. Editeur : London : Methuen Année de publication : 1968 Collection : University Paperbacks num. 431 Importance : xii - 388 p. ISBN/ISSN/EAN : 978-0-416-29460-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic Mots-clés : modal logic  predicate logic  propositional logic Index. décimale : 03C Monographie an Introduction to modal logic [texte imprimé] / Hughes, G.D. ; Cresswell, M.J. . - London : Methuen, 1968 . - xii - 388 p.. - (University Paperbacks; 431) . ISBN : 978-0-416-29460-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic Mots-clés : modal logic  predicate logic  propositional logic Index. décimale : 03C Monographie

Exemplaires

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

Logic in computer science. Modelling and reasoning about systems / Michael Huth

Public ISBD Titre : Logic in computer science. Modelling and reasoning about systems Type de document : texte imprimé Auteurs : Michael Huth, Auteur ; Mark Ryan, Auteur Mention d'édition : 2nd ed. Editeur : Cambridge : Cambridge University Press Année de publication : 2004 Importance : xiv - 427 p. ISBN/ISSN/EAN : 978-0-521-54310-1 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:03B70 Logic in computer science 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : contract-programming paradigm  program verification  model checking  object modeling  predicate logic  propositional logic  sat solver  natural deduction Index. décimale : 68C Monographie Logic in computer science. Modelling and reasoning about systems [texte imprimé] / Michael Huth, Auteur ; Mark Ryan, Auteur  . -  2nd ed. . - Cambridge : Cambridge University Press, 2004 . - xiv - 427 p. ISBN : 978-0-521-54310-1 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:03B70 Logic in computer science 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : contract-programming paradigm  program verification  model checking  object modeling  predicate logic  propositional logic  sat solver  natural deduction Index. décimale : 68C Monographie

Exemplaires

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

Logic, induction and sets / Thomas Forster

Public ISBD Titre : Logic, induction and sets Type de document : texte imprimé Auteurs : Thomas Forster Editeur : Cambridge University Press Année de publication : 2003 Collection : London Mathematical Society Student Texts num. 56 Importance : x, 234 p. ISBN/ISSN/EAN : 978-0-521-53361-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : ordinals  propositional logic  textbook  recursive datatypes  posets  predicate logic  computable functions  set theory  lattices Index. décimale : 03C Monographie Logic, induction and sets [texte imprimé] / Thomas Forster . - [S.l.] : Cambridge University Press, 2003 . - x, 234 p.. - (London Mathematical Society Student Texts; 56) . ISBN : 978-0-521-53361-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : ordinals  propositional logic  textbook  recursive datatypes  posets  predicate logic  computable functions  set theory  lattices Index. décimale : 03C Monographie

Exemplaires

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