9 résultat(s) recherche sur le mot-clé 'proof theory'

Proof theory / Takeuti, G.

Public ISBD Titre : Proof theory Type de document : texte imprimé Auteurs : Takeuti, G. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1975 Collection : Studies in Logic and The Foundations of Mathematics num. 81 Importance : vii - 372 p. ISBN/ISSN/EAN : 978-0-7204-2277-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F99 None of the above, but in this section Mots-clés : mathematical logic  proof theory Index. décimale : 03C Monographie Proof theory [texte imprimé] / Takeuti, G. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1975 . - vii - 372 p.. - (Studies in Logic and The Foundations of Mathematics; 81) . ISBN : 978-0-7204-2277-1 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F99 None of the above, but in this section Mots-clés : mathematical logic  proof theory Index. décimale : 03C Monographie

Exemplaires

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

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 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 : Cambridge University Press, 2000 . - xii - 417 p.. - (Cambridge Tracts in Computer Sciences; 43) . ISBN : 978-0-521-77911-1 Langues : Anglais 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

Exemplaires

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

The blind spot / Jean-Yves Girard

Public ISBD Titre : The blind spot : lectures on logic Type de document : texte imprimé Auteurs : Jean-Yves Girard, Auteur Editeur : European Mathematical Society Année de publication : 2011 Importance : xiii - 537 p. Format : 24 cm ISBN/ISSN/EAN : 978-3-03719-088-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03A05 Philosophical and critical 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics Mots-clés : classical logic  linear logic  geometry of interaction  proof theory  polarized logic  Curry-Howard isomorphism Index. décimale : 03C Monographie The blind spot : lectures on logic [texte imprimé] / Jean-Yves Girard, Auteur . - [S.l.] : European Mathematical Society, 2011 . - xiii - 537 p. ; 24 cm. ISBN : 978-3-03719-088-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03A05 Philosophical and critical 03-XX Mathematical logic and foundations:03BXX General logic:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics Mots-clés : classical logic  linear logic  geometry of interaction  proof theory  polarized logic  Curry-Howard isomorphism Index. décimale : 03C Monographie

Exemplaires

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

Foundations of constructive mathematics / Beeson, Michael J.

Public ISBD Titre : Foundations of constructive mathematics : mathematical studies Type de document : texte imprimé Auteurs : Beeson, Michael J. Editeur : Springer-Verlag Année de publication : 1985 Collection : Ergebnisse der Mathematik und ihrer Grenzgebiete num. 6 Importance : xxiii - 466 p. ISBN/ISSN/EAN : 978-3-540-12173-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematics Mots-clés : constructive proof  formal systems  constructive mathematics  intuitionistic logic  constructive metamathematics  set theory  proof theory Index. décimale : 03C Monographie Foundations of constructive mathematics : mathematical studies [texte imprimé] / Beeson, Michael J. . - [S.l.] : Springer-Verlag, 1985 . - xxiii - 466 p.. - (Ergebnisse der Mathematik und ihrer Grenzgebiete; 6) . ISBN : 978-3-540-12173-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematics Mots-clés : constructive proof  formal systems  constructive mathematics  intuitionistic logic  constructive metamathematics  set theory  proof theory Index. décimale : 03C Monographie

Exemplaires

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

In the light of logic / Feferman, Solomon

Public ISBD Titre : In the light of logic Type de document : texte imprimé Auteurs : Feferman, Solomon Editeur : New York, NY : Oxford University Press Année de publication : 1998 Collection : Logic and computation in philosophy Importance : xii -340 p. ISBN/ISSN/EAN : 978-0-19-508030-8 Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A30 Philosophy of mathematics 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : mathematical philosophy  proof theory  logic  g?  hilbert  cantor Index. décimale : O1 Oeuvres In the light of logic [texte imprimé] / Feferman, Solomon . - New York, NY : Oxford University Press, 1998 . - xii -340 p.. - (Logic and computation in philosophy) . ISBN : 978-0-19-508030-8 Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A30 Philosophy of mathematics 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : mathematical philosophy  proof theory  logic  g?  hilbert  cantor Index. décimale : O1 Oeuvres

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13380	01 FEF	imprimé / autre	CRDM	01//OEUVRES COMPLETES	Disponible

Interactive models of computation and program behavior / Pierre-Louis Curien

Permalink

Logic and structure / van Dalen, Dirk

Permalink

Mathematical logic / Joseph R. Shoenfield

Permalink

Mathematical methods in linguistics / Partee, Barbara H.

Permalink