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
Introduction à la théorie des ensembles / Paul R. Halmos
Titre : Introduction à la théorie des ensembles Type de document : texte imprimé Auteurs : Paul R. Halmos, Auteur ; J. Gardelle, Traducteur Editeur : Paris : Gauthier-Villars Année de publication : 1967 Collection : Mathématiques et Sciences de l'Homme num. 03 Importance : 128 p. Note générale : Don de Mr Andronikov Langues : Français Langues originales : 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 Index. décimale : 03C Monographie Introduction à la théorie des ensembles [texte imprimé] / Paul R. Halmos, Auteur ; J. Gardelle, Traducteur . - Paris : Gauthier-Villars, 1967 . - 128 p.. - (Mathématiques et Sciences de l'Homme; 03) .
Don de Mr Andronikov
Langues : Français Langues originales : 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 Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3466 03C158 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Introduction to axiomatic set theory / Takeuti, G.
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4552 03C100 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Introduction to combinators and lambda-calculus / Hindley, J. Roger
Titre : Introduction to combinators and lambda-calculus Type de document : texte imprimé Auteurs : Hindley, J. Roger ; Seldin, Jonathan P. Editeur : Cambridge University Press Année de publication : 1986 Collection : London Mathematical Society Student Texts num. 01 Importance : viii - 360 p. ISBN/ISSN/EAN : 978-0-521-31839-6 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-calculusMots-clés : type assignment models lambda calculus combinatory logic Index. décimale : 03C Monographie Introduction to combinators and lambda-calculus [texte imprimé] / Hindley, J. Roger ; Seldin, Jonathan P. . - [S.l.] : Cambridge University Press, 1986 . - viii - 360 p.. - (London Mathematical Society Student Texts; 01) .
ISBN : 978-0-521-31839-6
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-calculusMots-clés : type assignment models lambda calculus combinatory logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16612 03C163 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Introduction to combinatory logic / Hindley, J. Roger
Titre : Introduction to combinatory logic Type de document : texte imprimé Auteurs : Hindley, J. Roger ; Seldin, J. P. ; Lercher, B. Editeur : Cambridge University Press Année de publication : 1972 Collection : London Mathematical Society Lecture Note Series. num. 07 Importance : 170 p. ISBN/ISSN/EAN : 978-0-521-09697-3 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:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this sectionMots-clés : mathematical logic recursion theory combinatory logic Index. décimale : 03C Monographie Introduction to combinatory logic [texte imprimé] / Hindley, J. Roger ; Seldin, J. P. ; Lercher, B. . - [S.l.] : Cambridge University Press, 1972 . - 170 p.. - (London Mathematical Society Lecture Note Series.; 07) .
ISBN : 978-0-521-09697-3
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:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this sectionMots-clés : mathematical logic recursion theory combinatory logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 904 03C105 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Introduction to logic / Suppes, P.
Titre : Introduction to logic Type de document : texte imprimé Auteurs : Suppes, P. Editeur : Princeton, N.J. : D. Van Nostrand Company, Inc. Année de publication : 1962 Collection : The University Series in Undergraduate Mathematics Importance : xviii - 312 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:03E20 Other classical set theory (including functions, relations, and set algebra)Mots-clés : mathematical logic philosophy foundations Index. décimale : 03C Monographie Introduction to logic [texte imprimé] / Suppes, P. . - Princeton, N.J. : D. Van Nostrand Company, Inc., 1962 . - xviii - 312 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:03BXX General logic:03B05 Classical propositional logic
03-XX Mathematical logic and foundations:03EXX Set theory:03E20 Other classical set theory (including functions, relations, and set algebra)Mots-clés : mathematical logic philosophy foundations Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9212 03C59 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Introduction to mathematical logic / Mendelson, E.
PermalinkIntroduction to mathematical logic. Vol. I / Church, A.
PermalinkIntroduction to mathematical structures / Gordon, Charles K. Jr.
PermalinkIntroduction to metamathematics / Kleene, Stephen C.
PermalinkIntroduction to model theory and to the metamathematics of algebra / Robinson, A.
PermalinkIntroduction to set theory / Hrbacek, K.
PermalinkIntroduction to set theory / Hrbacek, K.
PermalinkIntuitionism / Heyting, A.
PermalinkLanguages with expressions of infinite length / Carol R. Karp
PermalinkLeçons sur les fonctions calculables / V. A. Ouspenski
Permalink