A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail d'une collection
Studies in logic and the foundations of mathematics
Editeur :
ISSN :
0049-237X
|
Documents disponibles dans la collection
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Foundations of set theory / Abraham A. FRAENKEL (1958)
Titre : Foundations of set theory Type de document : texte imprimé Auteurs : Abraham A. FRAENKEL, Auteur ; Yehoshua BAR-HILLEL, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1958 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : X-415 p. Langues : Anglais Mots-clés : théorie des ensembles Note de contenu : index, bibliogr. Foundations of set theory [texte imprimé] / Abraham A. FRAENKEL, Auteur ; Yehoshua BAR-HILLEL, Auteur . - Amsterdam : North-Holland Publishing Company, 1958 . - X-415 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : théorie des ensembles Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3570 FRA/04/1011 Livre Recherche Salle Disponible Hypothetical reasoning / Nicholas RESCHER (1964)
Titre : Hypothetical reasoning Type de document : texte imprimé Auteurs : Nicholas RESCHER, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1964 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : 95 p. Langues : Anglais Mots-clés : raisonnement mathématique hypothèse mathématique logique mathématique Note de contenu : index, références Hypothetical reasoning [texte imprimé] / Nicholas RESCHER, Auteur . - Amsterdam : North-Holland Publishing Company, 1964 . - 95 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : raisonnement mathématique hypothèse mathématique logique mathématique Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5529 RES/02/2703 Livre Recherche Salle Disponible Introduction to the theory of finite automata / N. E. KOBRINSKII (1965)
Titre : Introduction to the theory of finite automata Type de document : texte imprimé Auteurs : N. E. KOBRINSKII, Auteur ; B. A. TRAKHTENBROT, Auteur ; B. A. SHEPHERDSON, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1965 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : 337 p. Note générale : Translation edited by J. C Shepherdson Langues : Anglais Langues originales : Russe Mots-clés : automate fini théorie des machines séquentielles Note de contenu : index, références Introduction to the theory of finite automata [texte imprimé] / N. E. KOBRINSKII, Auteur ; B. A. TRAKHTENBROT, Auteur ; B. A. SHEPHERDSON, Editeur scientifique . - Amsterdam : North-Holland Publishing Company, 1965 . - 337 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Translation edited by J. C Shepherdson
Langues : Anglais Langues originales : Russe
Mots-clés : automate fini théorie des machines séquentielles Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10898 KOB/95/4195 Livre Recherche Salle Disponible Intuitionism / A. HEYTING (1971)
Titre : Intuitionism : an introduction Type de document : texte imprimé Auteurs : A. HEYTING, Auteur Mention d'édition : 3e éd. révisée Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1971 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-145 p. ISBN/ISSN/EAN : 978-0-7204-2239-9 Langues : Anglais Catégories : 03F55 Mots-clés : logique mathématique intuitionnisme Note de contenu : index, bibliogr. Intuitionism : an introduction [texte imprimé] / A. HEYTING, Auteur . - 3e éd. révisée . - Amsterdam : North-Holland Publishing Company, 1971 . - VIII-145 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
ISBN : 978-0-7204-2239-9
Langues : Anglais
Catégories : 03F55 Mots-clés : logique mathématique intuitionnisme Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5502 HEY/02/5290 Livre Recherche Salle Disponible Intuitionism / A. HEYTING (1956)
Titre : Intuitionism : an introduction Type de document : texte imprimé Auteurs : A. HEYTING, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1956 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-132 p. ISBN/ISSN/EAN : 978-0-7204-2239-9 Langues : Anglais Catégories : 03F55 Mots-clés : logique mathématique intuitionnisme Note de contenu : index, glossaire, bibliogr. Intuitionism : an introduction [texte imprimé] / A. HEYTING, Auteur . - Amsterdam : North-Holland Publishing Company, 1956 . - VIII-132 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
ISBN : 978-0-7204-2239-9
Langues : Anglais
Catégories : 03F55 Mots-clés : logique mathématique intuitionnisme Note de contenu : index, glossaire, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 656 HEY/02/1545 Livre Recherche Salle Disponible Languages with expressions of infinite length / Carol R. KARP (1964)
PermalinkLINCOS. Part I / Hans FREUDENTHAL (1960)
PermalinkMany-valued logics / J. Barkley ROSSER (1958)
PermalinkMathematical interpretation of formal systems / Th. SKOLEM (Cop. 1955)
PermalinkModel theory for infinitary logic / H. Jerome KEISLER (Cop. 1971)
PermalinkNomological statements and admissible operations / Hans REICHENBACH (1954)
PermalinkNon-standard analysis / Abraham ROBINSON (1966)
PermalinkOrdinal Algebras / Alfred TARSKI (1956)
PermalinkOutlines of a formalist philosophy of mathematics / Haskell B. CURRY (1956)
PermalinkRecursive analysis / R. L. GOODSTEIN (1961)
Permalink