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

Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien

Public ISBD Titre : Categorical combinators, sequential algorithms, and functional programming Type de document : texte imprimé Auteurs : Pierre-Louis Curien Mention d'édition : 2nd ed. Editeur : Birkhäuser Verlag Année de publication : 1993 Collection : Progress in Theoretical Computer Science. Importance : xx - 403 p. ISBN/ISSN/EAN : 978-0-8176-3654-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : categorical abstract machine  combinatory logic  lambda-calculus Index. décimale : 68C Monographie Categorical combinators, sequential algorithms, and functional programming [texte imprimé] / Pierre-Louis Curien  . -  2nd ed. . - [S.l.] : Birkhäuser Verlag, 1993 . - xx - 403 p.. - (Progress in Theoretical Computer Science.) . ISBN : 978-0-8176-3654-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : categorical abstract machine  combinatory logic  lambda-calculus Index. décimale : 68C Monographie

Exemplaires

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

Duality and definability in first order logic / Michael Makkai

Public ISBD Titre : Duality and definability in first order logic Type de document : texte imprimé Auteurs : Michael Makkai Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1993 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 503 Importance : 106 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C20 Ultraproducts and related constructions 03-XX Mathematical logic and foundations:03CXX Model theory:03C40 Interpolation, preservation, definability 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : boolean pretoposes  stone-type adjunction  duality  beth's theorem for propositional logic  definable functors  factorizations in 2-categories  category of models  ultraproduct  definability  first order logic Index. décimale : Mem Duality and definability in first order logic [texte imprimé] / Michael Makkai . - Providence, R.I. : American Mathematical Society, 1993 . - 106 p. . - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 503) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C20 Ultraproducts and related constructions 03-XX Mathematical logic and foundations:03CXX Model theory:03C40 Interpolation, preservation, definability 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : boolean pretoposes  stone-type adjunction  duality  beth's theorem for propositional logic  definable functors  factorizations in 2-categories  category of models  ultraproduct  definability  first order logic Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15096	Mem/503	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

Forcing and classifying topoi / Scedrov, Andrej

Public ISBD Titre : Forcing and classifying topoi Type de document : texte imprimé Auteurs : Scedrov, Andrej Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1984 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 295 Importance : x - 93 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E40 Other aspects of forcing and Boolean-valued models 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : geometric realization functor  simplicial sets  generic model  independence results  forcing  geometric theories  geometric logic  classifying topos Index. décimale : Mem Forcing and classifying topoi [texte imprimé] / Scedrov, Andrej . - Providence, R.I. : American Mathematical Society, 1984 . - x - 93 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 295) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E40 Other aspects of forcing and Boolean-valued models 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : geometric realization functor  simplicial sets  generic model  independence results  forcing  geometric theories  geometric logic  classifying topos Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15174	Mem/295	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

Handbook of Categorical Algebra 3: Categories of Sheaves / Borceux, Francis

Public ISBD Titre : Handbook of Categorical Algebra 3: Categories of Sheaves Type de document : texte imprimé Auteurs : Borceux, Francis Editeur : Cambridge : Cambridge University Press Année de publication : 1994 Collection : Encyclopedia of Mathematics and Its Applications num. 52 Importance : xvii - 522 p. ISBN/ISSN/EAN : 978-0-521-44180-3 Note générale : commande Djament Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : internal logic of toposes  classifying topos for coherent theories  grothendieck toposes  locales  categories of sheaves Handbook of Categorical Algebra 3: Categories of Sheaves [texte imprimé] / Borceux, Francis . - Cambridge : Cambridge University Press, 1994 . - xvii - 522 p.. - (Encyclopedia of Mathematics and Its Applications; 52) . ISBN : 978-0-521-44180-3 commande Djament Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : internal logic of toposes  classifying topos for coherent theories  grothendieck toposes  locales  categories of sheaves

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17921	18C32	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible

Relative category theory and geometric morphisms, a logical approach / Chapman, J.

Permalink

Sets for mathematics / F.William Lawvere

Permalink

Stone spaces / Peter T. Johnstone

Permalink

Synthetic differential geometry / Anders Kock

Permalink

Toposes and local set theories / John Lane Bell

Permalink

Toposes, triples and theories / Barr, M.

Permalink

---

page 1/1