A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'indexation
03C : Monographie
Ouvrages de la bibliothèque en indexation 03C
Affiner la recherche
Axiomatic set theory / Suppes, P.
Titre : Axiomatic set theory Type de document : texte imprimé Auteurs : Suppes, P. Editeur : Princeton, N.J. : D. Van Nostrand Company, Inc. Année de publication : 1960 Collection : The University Series in Undergraduate Mathematics Importance : xii - 265 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03EXX Set theoryMots-clés : set theory axiomatic set theory Index. décimale : 03C Monographie Axiomatic set theory [texte imprimé] / Suppes, P. . - Princeton, N.J. : D. Van Nostrand Company, Inc., 1960 . - xii - 265 p.. - (The University Series in Undergraduate Mathematics) .
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03EXX Set theoryMots-clés : set theory axiomatic set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4748 03C99 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Axiomatic set theory / R. B. Chuaqui
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9283 03C144 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Axiomatic set theory / P. Bernays
Titre : Axiomatic set theory : with a historical introduction by Abraham A. Fraenkel Type de document : texte imprimé Auteurs : P. Bernays ; Abraham A. Fraenkel, Préfacier, etc. Mention d'édition : 2nd ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1968 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 226 p. 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:03EXX Set theoryMots-clés : mathematical logic set theory Index. décimale : 03C Monographie Axiomatic set theory : with a historical introduction by Abraham A. Fraenkel [texte imprimé] / P. Bernays ; Abraham A. Fraenkel, Préfacier, etc. . - 2nd ed. . - Amtsterdam : North-Holland Publishing Company, 1968 . - viii - 226 p.. - (Studies in Logic and the Foundations of Mathematics) .
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:03EXX Set theoryMots-clés : mathematical logic set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4751 03C91 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Axiomatics / R. Blanché
Titre : Axiomatics Type de document : texte imprimé Auteurs : R. Blanché ; Keene, G. B. Trad. Editeur : London : Routledge & Kegan Paul Ltd Année de publication : 1966 Collection : Monographs in Modern Logic Importance : v - 65 p. Langues : Anglais Langues originales : Français Mots-clés : foundations of mathematics philosophy axiomatics Index. décimale : 03C Monographie Axiomatics [texte imprimé] / R. Blanché ; Keene, G. B. Trad. . - London : Routledge & Kegan Paul Ltd, 1966 . - v - 65 p.. - (Monographs in Modern Logic) .
Langues : Anglais Langues originales : Français
Mots-clés : foundations of mathematics philosophy axiomatics Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9192 03C26 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Basic proof theory / Troelstra, A.
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 programmingMots-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 programmingMots-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 Basic simple type theory / Hindley, J. Roger
PermalinkBeweistheorie / Schutte, K.
PermalinkBounded arithmetic, propositional logic, and complexity theory / Jan Krajicek
PermalinkCardinal and ordinal numbers / W. Sierpinski
PermalinkCoding the universe / A. Beller
PermalinkCombinatorial functors / Crossley, J. N.
PermalinkCombinatory logic. Vol. I / Curry, Haskell B.
PermalinkCombinatory logic. Vol. II / Curry, Haskell B.
Permalinka Companion to modal logic / Hughes, G.E.
PermalinkComplementarity in mathematics / W. Kuyk
Permalink