7 résultat(s) recherche sur le mot-clé 'Logic'

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

Set theory and logic / Robert R. Stoll

Public ISBD Titre : Set theory and logic Type de document : texte imprimé Auteurs : Robert R. Stoll Editeur : San Francisco, CA : W. H. Freeman and Company Année de publication : 1963 Collection : A Series of Undergraduate Books in Mathematics Importance : xiv - 474 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:03BXX General logic:03B05 Classical propositional logic 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : informal axiomatic set theory  informal axiomatic theories  predicate calculus  statement calculus  real number s  peano axioms  logic  set theory Index. décimale : 03C Monographie Set theory and logic [texte imprimé] / Robert R. Stoll . - San Francisco, CA : W. H. Freeman and Company, 1963 . - xiv - 474 p.. - (A Series of Undergraduate Books in 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:03BXX General logic:03B05 Classical propositional logic 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : informal axiomatic set theory  informal axiomatic theories  predicate calculus  statement calculus  real number s  peano axioms  logic  set theory Index. décimale : 03C Monographie

Exemplaires

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

Einführung in die mathematische logik. Teil I / Asser, G.

Public ISBD Titre : Einführung in die mathematische logik. Teil I : aussagenkalkül Type de document : texte imprimé Auteurs : Asser, G. Editeur : Leipzig : B.G. Teubner Année de publication : 1967 Collection : Mathematisch-Naturwissenschaftliche Bibliothek num. 18 Importance : iv - 184 p. Langues : Allemand 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:03B05 Classical propositional logic Mots-clés : logic  philosophy  foundations of mathematics Index. décimale : 03C Monographie Einführung in die mathematische logik. Teil I : aussagenkalkül [texte imprimé] / Asser, G. . - Leipzig : B.G. Teubner, 1967 . - iv - 184 p.. - (Mathematisch-Naturwissenschaftliche Bibliothek; 18) . Langues : Allemand 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:03B05 Classical propositional logic Mots-clés : logic  philosophy  foundations of mathematics Index. décimale : 03C Monographie

Exemplaires

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

Equivalents of the axiom of choice / Rubin, H.

Public ISBD Titre : Equivalents of the axiom of choice Type de document : texte imprimé Auteurs : Rubin, H. ; Rubin, Jean E. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1963 Collection : Studies in Logic and the Foundations of Mathematics Importance : xiv - 134 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 theory:03E25 Axiom of choice and related propositions Mots-clés : logic  algebraic forms  maximal principles  law of trichotomy  well-ordering  set forms  foundation  extensionality  nbg set theory  choice-like principles Index. décimale : 03C Monographie Equivalents of the axiom of choice [texte imprimé] / Rubin, H. ; Rubin, Jean E. . - Amtsterdam : North-Holland Publishing Company, 1963 . - xiv - 134 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 theory:03E25 Axiom of choice and related propositions Mots-clés : logic  algebraic forms  maximal principles  law of trichotomy  well-ordering  set forms  foundation  extensionality  nbg set theory  choice-like principles Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15922	03C37	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible
4743	03C37	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Kurt Gödel / Feferman, Solomon ; Charles Parsons ; Stephen G. Simpsons

Public ISBD Titre : Kurt Gödel : Essays for his centennial Type de document : texte imprimé Auteurs : Feferman, Solomon ; Charles Parsons ; Stephen G. Simpsons, Editeur scientifique Editeur : Cambridge University Press Année de publication : 2010 Collection : Lecture Notes in Logic ISBN/ISSN/EAN : 978-0-521-11514-8 Langues : Anglais Catégories : 01-XX History and biography:01A60 20th century 01-XX History and biography:01A70 Biographies, obituaries, personalia, bibliographies 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : Kurt Gödel  logic  symbolic Index. décimale : 01C Histoire des Mathématiques Kurt Gödel : Essays for his centennial [texte imprimé] / Feferman, Solomon ; Charles Parsons ; Stephen G. Simpsons, Editeur scientifique . - [S.l.] : Cambridge University Press, 2010. - (Lecture Notes in Logic) . ISBN : 978-0-521-11514-8 Langues : Anglais Catégories : 01-XX History and biography:01A60 20th century 01-XX History and biography:01A70 Biographies, obituaries, personalia, bibliographies 03-XX Mathematical logic and foundations:03-03 Historical (must also be assigned at least one classification number from Section 01) Mots-clés : Kurt Gödel  logic  symbolic Index. décimale : 01C Histoire des Mathématiques

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19305	01C89	imprimé / autre	CRDM	01/HISTOIRE DES MATHEMATIQUES	Disponible

Recursion theory

Permalink

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory / Gödel, Kurtz

Permalink