Catalogue en ligne Centre Régional de Documentation Mathématique

A partir de cette page vous pouvez :

Retourner au premier écran avec les dernières notices...

Résultat de la recherche

21 résultat(s) recherche sur le mot-clé 'foundations of mathematics'

Affiner la recherche Générer le flux rss de la recherche

$Document: texte imprimé$ Mathematical logic and the foundations of mathematics / G. T. Kneebone

Public

ISBD

Titre : Mathematical logic and the foundations of mathematics : an introductory survey
Type de document : texte imprimé
Auteurs : G. T. Kneebone
Editeur : London : D. Van Nostrand Company Limited
Année de publication : 1965
Importance : xiv - 435 p.
Langues : Anglais
Mots-clés : foundations of mathematics philosophy mathematical logic
Index. décimale : 03C Monographie

Mathematical logic and the foundations of mathematics : an introductory survey [texte imprimé] / G. T. Kneebone . - London : D. Van Nostrand Company Limited, 1965 . - xiv - 435 p.
Langues : Anglais
Mots-clés : foundations of mathematics philosophy mathematical logic
Index. décimale : 03C Monographie

Exemplaires

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

$Document: texte imprimé$ Practical foundations of mathematics / Taylor, Paul

Public

ISBD

Titre : Practical foundations of mathematics
Type de document : texte imprimé
Auteurs : Taylor, Paul
Editeur : Cambridge : Cambridge University Press
Année de publication : 2000
Collection : Cambridge Studies in Advanced Mathematics. num. 59
Importance : xi - 572 p.
ISBN/ISSN/EAN : 978-0-521-63107-5
Langues : Anglais
Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A35 Methodology of mathematics, didactics
03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.)
Mots-clés : adjunction between syntax and semantics syntactic category of a theory structural recursion lattices posets category theory foundations of mathematics
Index. décimale : 18A

Practical foundations of mathematics [texte imprimé] / Taylor, Paul . - Cambridge : Cambridge University Press, 2000 . - xi - 572 p.. - (Cambridge Studies in Advanced Mathematics.; 59) .
ISBN : 978-0-521-63107-5
Langues : Anglais
Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A35 Methodology of mathematics, didactics
03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.)
Mots-clés : adjunction between syntax and semantics syntactic category of a theory structural recursion lattices posets category theory foundations of mathematics
Index. décimale : 18A

Exemplaires

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

$Document: texte imprimé$ The foundations of mathematics in the theory of sets / John P. Mayberry

Public

ISBD

Titre : The foundations of mathematics in the theory of sets
Type de document : texte imprimé
Auteurs : John P. Mayberry
Editeur : Cambridge : Cambridge University Press
Année de publication : 2000
Collection : Encyclopedia of Mathematics and Its Applications num. 82
Importance : xx, 424 p.
Format : 24 cm
ISBN/ISSN/EAN : 978-0-521-77034-7
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03A05 Philosophical and critical
03-XX Mathematical logic and foundations:03EXX Set theory:03E30 Axiomatics of classical set theory and its fragments
Mots-clés : finiteness set theory foundations of mathematics finite set theory
Index. décimale : 03C Monographie

The foundations of mathematics in the theory of sets [texte imprimé] / John P. Mayberry . - Cambridge : Cambridge University Press, 2000 . - xx, 424 p. ; 24 cm. - (Encyclopedia of Mathematics and Its Applications; 82) .
ISBN : 978-0-521-77034-7
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03A05 Philosophical and critical
03-XX Mathematical logic and foundations:03EXX Set theory:03E30 Axiomatics of classical set theory and its fragments
Mots-clés : finiteness set theory foundations of mathematics finite set theory
Index. décimale : 03C Monographie

Exemplaires

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

$Document: texte imprimé$ Elementary logic of science and mathematics / Nidditch, P. H.

Public

ISBD

Titre : Elementary logic of science and mathematics
Type de document : texte imprimé
Auteurs : Nidditch, P. H.
Editeur : London : University Tutorial Press, LTD
Année de publication : 1960
Importance : vii - 371 p.
Langues : Anglais
Mots-clés : foundations of mathematics philosophy elementary logic
Index. décimale : 03C Monographie

Elementary logic of science and mathematics [texte imprimé] / Nidditch, P. H. . - London : University Tutorial Press, LTD, 1960 . - vii - 371 p.
Langues : Anglais
Mots-clés : foundations of mathematics philosophy elementary logic
Index. décimale : 03C Monographie

Exemplaires

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

$Document: texte imprimé$ Mathematical interpretation of formal systems / Robinson, A. ; Kreisel, G. ; Hasenjaeger, G. ; Skolem, Th.

Public

ISBD

Titre : Mathematical interpretation of formal systems
Type de document : texte imprimé
Auteurs : Robinson, A. ; Kreisel, G. ; Hasenjaeger, G. ; Skolem, Th.
Editeur : Amtsterdam : North-Holland Publishing Company
Année de publication : 1955
Collection : Studies in Logic and the Foundations of Mathematics
Importance : viii -113 p.
Langues : Anglais
Mots-clés : foundations of mathematics philosophy
Index. décimale : 03C Monographie

Mathematical interpretation of formal systems [texte imprimé] / Robinson, A. ; Kreisel, G. ; Hasenjaeger, G. ; Skolem, Th. . - Amtsterdam : North-Holland Publishing Company, 1955 . - viii -113 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Mots-clés : foundations of mathematics philosophy
Index. décimale : 03C Monographie

Exemplaires

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

$Document: texte imprimé$ Sentences undecidable in formalized arithmetic / Mostowskii, A.

Permalink
$Document: texte imprimé$ Theory of formal systems / Raymond M. Smullyan

Permalink
$Document: texte imprimé$ Tool and object / Ralf Krömer

Permalink
$Document: texte imprimé$ the Elements of mathematical logic / Rosenbloom, Paul

Permalink
$Document: texte imprimé$ Combinatory logic. Vol. I / Curry, Haskell B.

Permalink
$Document: texte imprimé$ Toward a systematic pragmatics / R. M. Martin

Permalink
$Document: texte imprimé$ Undecidable theories / Tarski, A.

Permalink
$Document: texte imprimé$ Brains, machines and mathematics / Arbib, Michael A.

Permalink
$Document: texte imprimé$ Introduction to mathematical logic / Mendelson, E.

Permalink
$Document: texte imprimé$ Axiomatics / R. Blanché

Permalink
$Document: texte imprimé$ Einführung in die mathematische logik. Teil I / Asser, G.

Permalink
$Document: texte imprimé$ Einführung in die operative Logik und Mathematik / Lorenzen, P.

Permalink
$Document: texte imprimé$ La mathématique moderne en dialogue avec vous / Penaud, J.

Permalink
$Document: texte imprimé$ Mathematische gesetze der logik, I / Schmidt, Arnold H.

Permalink
$Document: texte imprimé$ Théorie métamathématique des ideaux / Robinson, A.

Permalink