A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'éditeur
Éditeur North-Holland Publishing Company
localisé à Amtsterdam
Collections rattachées
Documents disponibles chez cet éditeur
Affiner la recherche
Ordinal algebras / Tarski, A.
Titre : Ordinal algebras Type de document : texte imprimé Auteurs : Tarski, A., Auteur ; Chang, Chen C. ; Jonsson, B., Collaborateur Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1956 Collection : Studies in Logic and the Foundations of Mathematics Importance : 133 p. Langues : Anglais Mots-clés : bibliographies mathematics education general mathematics Index. décimale : 03C Monographie Ordinal algebras [texte imprimé] / Tarski, A., Auteur ; Chang, Chen C. ; Jonsson, B., Collaborateur . - Amtsterdam : North-Holland Publishing Company, 1956 . - 133 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Mots-clés : bibliographies mathematics education general mathematics Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5557 03C71 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Recursive analysis / R. L. Goodstein
Titre : Recursive analysis Type de document : texte imprimé Auteurs : R. L. Goodstein Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1961 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 138 p. Langues : Anglais Mots-clés : mathematical logic Index. décimale : 03C Monographie Recursive analysis [texte imprimé] / R. L. Goodstein . - Amtsterdam : North-Holland Publishing Company, 1961 . - viii - 138 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Mots-clés : mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4494 03C40 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Word problems / W. W. Ed. Boone
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 115 20C67 imprimé / autre CRDM 20/THEORIE DES GROUPES GENERALISATIONS Disponible 117 20C67 imprimé / autre CRDM 20/THEORIE DES GROUPES GENERALISATIONS Disponible 116 20C67 imprimé / autre CRDM 20/THEORIE DES GROUPES GENERALISATIONS Disponible Toward a systematic pragmatics / R. M. Martin
Titre : Toward a systematic pragmatics Type de document : texte imprimé Auteurs : R. M. Martin Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1959 Collection : Studies in Logic and the Foundations of Mathematics Importance : xv - 107 p. Langues : Anglais Mots-clés : foundations of mathematics philosophy Index. décimale : 03C Monographie Toward a systematic pragmatics [texte imprimé] / R. M. Martin . - Amtsterdam : North-Holland Publishing Company, 1959 . - xv - 107 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é 4496 03C38 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Constructible sets with applications / Mostowski, A.
Titre : Constructible sets with applications Type de document : texte imprimé Auteurs : Mostowski, A. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1969 Collection : Studies in Logic and the Foundations of Mathematics Importance : ix - 269 p. Langues : Anglais Mots-clés : set theory Index. décimale : 03C Monographie Constructible sets with applications [texte imprimé] / Mostowski, A. . - Amtsterdam : North-Holland Publishing Company, 1969 . - ix - 269 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Mots-clés : set theory Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4497 03C88 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Languages with expressions of infinite length / Carol R. Karp
PermalinkMathematical interpretation of formal systems / Robinson, A. ; Kreisel, G. ; Hasenjaeger, G. ; Skolem, Th.
PermalinkEquivalents of the axiom of choice / Rubin, H.
PermalinktheTheory of models / Henkin, L. ; J. W. Addison
PermalinkAxiomatic set theory / P. Bernays
PermalinkWord problems 2 / W. W. Boone ; S. I. Adian ; G. Higman
Permalinkthe Lambda calculus / H. P. Barendregt
PermalinkIntroduction to model theory and to the metamathematics of algebra / Robinson, A.
Permalink