Basic proof theory / Troelstra, A.

Public ISBD Titre : Basic proof theory Type de document : texte imprimé Auteurs : Troelstra, A. ; Schwichtenberg, H. Mention d'édition : 2nd ed. Editeur : Cambridge : Cambridge University Press Année de publication : 2000 Collection : Cambridge tracts in computer sciences num. 43 Importance : xii - 417 p. ISBN/ISSN/EAN : 978-0-521-77911-1 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F03 Proof theory, general 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F35 Second- and higher-order arithmetic and fragments 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68NXX Software:68N17 Logic programming Mots-clés : apartness  e-logic  multi-succedent intuitionistic sequent calculus  kleene-style sequent calculus  logic programming  connections with computer science  first-order arithmetic  modal logic  hilbert-style system  resolution  second-order heyting arithmetic  linear logic  coherence theorem  categorical logic  formulas-as-types relation  combinatory logic  type theory  interpolation  strong normalization  cut elimination  gentzen type system  sequent calculus  natural deduction system  intuitionistic logic  classical logic  minimal logic  proof theory Index. décimale : 03C Monographie Basic proof theory [texte imprimé] / Troelstra, A. ; Schwichtenberg, H.  . -  2nd ed. . - Cambridge University Press, 2000 . - xii - 417 p.. - (Cambridge tracts in computer sciences; 43) . ISBN : 978-0-521-77911-1 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F03 Proof theory, general 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F30 First-order arithmetic and fragments 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F35 Second- and higher-order arithmetic and fragments 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68NXX Software:68N17 Logic programming Mots-clés : apartness  e-logic  multi-succedent intuitionistic sequent calculus  kleene-style sequent calculus  logic programming  connections with computer science  first-order arithmetic  modal logic  hilbert-style system  resolution  second-order heyting arithmetic  linear logic  coherence theorem  categorical logic  formulas-as-types relation  combinatory logic  type theory  interpolation  strong normalization  cut elimination  gentzen type system  sequent calculus  natural deduction system  intuitionistic logic  classical logic  minimal logic  proof theory Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

Basic simple type theory / Hindley, J. Roger

Public ISBD Titre : Basic simple type theory Type de document : texte imprimé Auteurs : Hindley, J. Roger Editeur : Cambridge : Cambridge University Press Année de publication : 1997 Collection : Cambridge Tracts in Theoretical Computer Science num. 42 Importance : xi - 186 p. ISBN/ISSN/EAN : 978-0-521-46518-2 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B20 Subsystems of classical logic (including intuitionistic logic) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science Mots-clés : polymorphic theories cit?dans...  functional programming language  intuitionistic logic  type-checking algorithm  type-assignment  lambda-calculus  type-theory Index. décimale : 03C Monographie Basic simple type theory [texte imprimé] / Hindley, J. Roger . - Cambridge University Press, 1997 . - xi - 186 p.. - (Cambridge Tracts in Theoretical Computer Science; 42) . ISBN : 978-0-521-46518-2 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B20 Subsystems of classical logic (including intuitionistic logic) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science Mots-clés : polymorphic theories cit?dans...  functional programming language  intuitionistic logic  type-checking algorithm  type-assignment  lambda-calculus  type-theory Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

Logic in computer science. Modelling and reasoning about systems / Huth, Michael ; Ryan, Mark

Public ISBD Titre : Logic in computer science. Modelling and reasoning about systems Type de document : texte imprimé Auteurs : Huth, Michael ; Ryan, Mark 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 (eng) 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é] / Huth, Michael ; Ryan, Mark  . -  2nd ed. . - Cambridge : Cambridge University Press, 2004 . - xiv - 427 p. ISBN : 978-0-521-54310-1 commande M. Borer Langues : Anglais (eng) 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

Réservation

Réserver ce document

Exemplaires

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

Proof and disproof in formal logic / Bornat, Richard

Public ISBD Titre : Proof and disproof in formal logic : an introduction for programmers Type de document : texte imprimé Auteurs : Bornat, Richard Editeur : Oxford : Oxford university press Année de publication : 2005 Collection : Oxford Texts in Logic num. 02 Importance : xx - 243 p. ISBN/ISSN/EAN : 978-0-19-853027-5 Langues : Anglais (eng) 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 : mathematical logic Index. décimale : 03C Monographie Proof and disproof in formal logic : an introduction for programmers [texte imprimé] / Bornat, Richard . - Oxford university press, 2005 . - xx - 243 p.. - (Oxford Texts in Logic; 02) . ISBN : 978-0-19-853027-5 Langues : Anglais (eng) 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 : mathematical logic Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

Temporal logic of programs / Kröger, Fred

Public ISBD Titre : Temporal logic of programs Type de document : texte imprimé Auteurs : Kröger, Fred Editeur : Springer-Verlag Année de publication : 1987 Collection : EATCS Monographs on Theoretical Computer Science num. 08 Importance : viii - 148 p. ISBN/ISSN/EAN : 978-3-540-17030-3 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.) 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : sequential programs  eventuality properties of programs  reasoning about the behavior of programs  precedence property  invariance property Index. décimale : 03C Monographie Temporal logic of programs [texte imprimé] / Kröger, Fred . - Springer-Verlag, 1987 . - viii - 148 p.. - (EATCS Monographs on Theoretical Computer Science; 08) . ISBN : 978-3-540-17030-3 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.) 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : sequential programs  eventuality properties of programs  reasoning about the behavior of programs  precedence property  invariance property Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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