03/MATHEMATICAL LOGIC AND FOUNDATIONS

Dans le rayon 03/MATHEMATICAL LOGIC AND FOUNDATIONS il y a différentes étagères, cliquez dessus pour les explorer...

Monographie

Publication collective

Abstract set theory / Skolem, Thoralf A.

Public ISBD Titre : Abstract set theory Type de document : texte imprimé Auteurs : Skolem, Thoralf A. Editeur : Notre Dame, IN : Universiy of Notre Dame Année de publication : 1962 Collection : Notre Dame Mathematical Lectures num. 08 Importance : 70 p. Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory Index. décimale : 03C Monographie Abstract set theory [texte imprimé] / Skolem, Thoralf A. . - Universiy of Notre Dame, 1962 . - 70 p.. - (Notre Dame Mathematical Lectures; 08) . Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : set theory Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

Abstract sets and finite ordinals / Keene, G. B.

Public ISBD Titre : Abstract sets and finite ordinals : an introduction to the study of set theory Type de document : texte imprimé Auteurs : Keene, G. B. Editeur : London : Pergamon Press Année de publication : 1961 Collection : Pure and Applied Mathematics num. 23 Importance : x - 106 p. Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : finite ordinals  abstracts sets  set theory Index. décimale : 03C Monographie Abstract sets and finite ordinals : an introduction to the study of set theory [texte imprimé] / Keene, G. B. . - Pergamon Press, 1961 . - x - 106 p.. - (Pure and Applied Mathematics; 23) . Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : finite ordinals  abstracts sets  set theory Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

Algebraic logic / Halmos, Paul R.

Public ISBD Titre : Algebraic logic Type de document : texte imprimé Auteurs : Halmos, Paul R. Editeur : New York, NY : Chelsea publishing company Année de publication : 1962 Importance : 257 p. Langues : Anglais (eng) Mots-clés : mathematical logic  philosophy  foundations Index. décimale : 03C Monographie Algebraic logic [texte imprimé] / Halmos, Paul R. . - New York, NY : Chelsea publishing company, 1962 . - 257 p. Langues : Anglais (eng) Mots-clés : mathematical logic  philosophy  foundations Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

Algèbre des ensembles algèbre / Choquet, M.

Public ISBD Titre : Algèbre des ensembles algèbre Type de document : texte imprimé Auteurs : Choquet, M. Editeur : Paris : Centre de Documentation Universitaire - Paris V Année de publication : 1963 Collection : Les Cours de Sorbonne Importance : vi - 79 p. Note générale : Certificat d'Etudes Supérieures de Calcul Différentiel et Intégral Langues : Français (fre) Mots-clés : set theory Index. décimale : 03C Monographie Algèbre des ensembles algèbre [texte imprimé] / Choquet, M. . - Centre de Documentation Universitaire - Paris V, 1963 . - vi - 79 p.. - (Les Cours de Sorbonne) . Certificat d'Etudes Supérieures de Calcul Différentiel et Intégral Langues : Français (fre) Mots-clés : set theory Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9271	03C137	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible
20370	03C137	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Algèbre1 / Exbrayat, J. M.

Public ISBD Titre : Algèbre1 : notions fondamentales de la théorie des ensembles Type de document : texte imprimé Auteurs : Exbrayat, J. M. ; Mazet, P. Editeur : Paris : Hatier-Universite Année de publication : 1971 Collection : Notions modernes de mathematiques Importance : 127 p. Langues : Français (fre) Mots-clés : set theory Index. décimale : 03C Monographie Algèbre1 : notions fondamentales de la théorie des ensembles [texte imprimé] / Exbrayat, J. M. ; Mazet, P. . - Hatier-Universite, 1971 . - 127 p.. - (Notions modernes de mathematiques) . Langues : Français (fre) Mots-clés : set theory Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17530	03C138	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible
12174	03C138	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible
622	03C138	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible
623	03C138	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Allgemeine mengenlehre / Klaua, D.

Public ISBD Titre : Allgemeine mengenlehre : ein fundament der mathematik Type de document : texte imprimé Auteurs : Klaua, D. Editeur : Berlin : Akademie-Verlag Année de publication : 1964 Collection : Mathematische Lehrbücher und Monographien num. 10 Importance : Viii - 581 p. Langues : Allemand (ger) Mots-clés : set theory Index. décimale : 03C Monographie Allgemeine mengenlehre : ein fundament der mathematik [texte imprimé] / Klaua, D. . - Akademie-Verlag, 1964 . - Viii - 581 p.. - (Mathematische Lehrbücher und Monographien; 10) . Langues : Allemand (ger) Mots-clés : set theory Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

an Algebraic approach to non-classical logics / Rasiowa, H.

Public ISBD Titre : an Algebraic approach to non-classical logics Type de document : texte imprimé Auteurs : Rasiowa, H. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1974 Collection : Studies in Logic and The Foundations of Mathematics num. 78 Importance : xv - 403 p. ISBN/ISSN/EAN : 978-0-7204-2264-1 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic 03-XX Mathematical logic and foundations:03GXX Algebraic logic Mots-clés : algebraic logic  mathematical logic Index. décimale : 03C Monographie an Algebraic approach to non-classical logics [texte imprimé] / Rasiowa, H. . - North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1974 . - xv - 403 p.. - (Studies in Logic and The Foundations of Mathematics; 78) . ISBN : 978-0-7204-2264-1 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic 03-XX Mathematical logic and foundations:03GXX Algebraic logic Mots-clés : algebraic logic  mathematical logic Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

an Introduction to mathematical logic and type theory / Andrews, P.B.

Public ISBD Titre : an Introduction to mathematical logic and type theory : to truth through proof Type de document : texte imprimé Auteurs : Andrews, P.B. Mention d'édition : 2nd ed. Editeur : Springer-Verlag Année de publication : 2002 Collection : Applied Logic Series num. 27 Importance : xviii - 408 p. ISBN/ISSN/EAN : 978-1-402-00763-7 Note générale : commande M. Borer Langues : Anglais (eng) 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:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory Mots-clés : propositional logic  type theory  first-order logic Index. décimale : 03C Monographie an Introduction to mathematical logic and type theory : to truth through proof [texte imprimé] / Andrews, P.B.  . -  2nd ed. . - Springer-Verlag, 2002 . - xviii - 408 p.. - (Applied Logic Series; 27) . ISBN : 978-1-402-00763-7 commande M. Borer Langues : Anglais (eng) 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:03B10 Classical first-order logic 03-XX Mathematical logic and foundations:03BXX General logic:03B15 Higher-order logic and type theory Mots-clés : propositional logic  type theory  first-order logic Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

an Introduction to modal logic / Hughes, G.D.

Public ISBD Titre : an Introduction to modal logic Type de document : texte imprimé Auteurs : Hughes, G.D. ; Cresswell, M.J. Editeur : London : Methuen Année de publication : 1968 Collection : University Paperbacks num. 431 Importance : xii - 388 p. ISBN/ISSN/EAN : 978-0-416-29460-6 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic Mots-clés : modal logic  predicate logic  propositional logic Index. décimale : 03C Monographie an Introduction to modal logic [texte imprimé] / Hughes, G.D. ; Cresswell, M.J. . - Methuen, 1968 . - xii - 388 p.. - (University Paperbacks; 431) . ISBN : 978-0-416-29460-6 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B45 Modal logic Mots-clés : modal logic  predicate logic  propositional logic Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

Analyse non standard / Robert, Aline

Public ISBD Titre : Analyse non standard Type de document : texte imprimé Auteurs : Robert, Aline Editeur : Lausanne : Presses Polytechniques Romandes Année de publication : 1985 Importance : xvii - 118 p. ISBN/ISSN/EAN : 978-2-88074-072-6 Langues : Français (fre) Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H05 Nonstandard models in mathematics 26-XX Real functions :26EXX Miscellaneous topics :26E35 Nonstandard analysis Mots-clés : invariant mean  schr?ger equation  stone-weierstra?theorem  invariant subspace  internal set theory  infinitesimals  nonstandard analysis Index. décimale : 03C Monographie Analyse non standard [texte imprimé] / Robert, Aline . - Lausanne : Presses Polytechniques Romandes, 1985 . - xvii - 118 p. ISBN : 978-2-88074-072-6 Langues : Français (fre) Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03HXX Nonstandard models :03H05 Nonstandard models in mathematics 26-XX Real functions :26EXX Miscellaneous topics :26E35 Nonstandard analysis Mots-clés : invariant mean  schr?ger equation  stone-weierstra?theorem  invariant subspace  internal set theory  infinitesimals  nonstandard analysis Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

Analyzable functions and applications / Costin, O. Ed.

Public ISBD Titre : Analyzable functions and applications Titre original : international workshop, Edinburgh, UK, June 17--21, 2002 Type de document : texte imprimé Auteurs : Costin, O. Ed. ; Macintyre, A. Eds ; Kruskal, M.D. Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2005 Collection : Contemporary Mathematics, ISSN 0271-4132 num. 373 Importance : vii - 371 p. ISBN/ISSN/EAN : 978-0-8218-3419-0 Langues : Anglais (eng) Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 34-XX Ordinary differential equations:34-06 Proceedings, conferences, collections, etc. Mots-clés : field theory  ordinary differential equations  mathematical logic Index. décimale : 03B Publication collective Analyzable functions and applications = international workshop, Edinburgh, UK, June 17--21, 2002 [texte imprimé] / Costin, O. Ed. ; Macintyre, A. Eds ; Kruskal, M.D. . - American Mathematical Society, 2005 . - vii - 371 p. . - (Contemporary Mathematics, ISSN 0271-4132; 373) . ISBN : 978-0-8218-3419-0 Langues : Anglais (eng) Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 34-XX Ordinary differential equations:34-06 Proceedings, conferences, collections, etc. Mots-clés : field theory  ordinary differential equations  mathematical logic Index. décimale : 03B Publication collective

Réservation

Réserver ce document

Exemplaires

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

Applications of model theory to algebra. analysis and probability / OFFICE OF NAVAL RESEARCH

Public ISBD Titre : Applications of model theory to algebra. analysis and probability Type de document : texte imprimé Auteurs : OFFICE OF NAVAL RESEARCH ; Luxemburg, W. A. J. Ed. Editeur : New York, NY : Holt, Rinehart and Winston Année de publication : 1969 Importance : VII-307 Langues : Anglais (eng) Mots-clés : general mathematics Index. décimale : 03C Monographie Applications of model theory to algebra. analysis and probability [texte imprimé] / OFFICE OF NAVAL RESEARCH ; Luxemburg, W. A. J. Ed. . - New York, NY : Holt, Rinehart and Winston, 1969 . - VII-307. Langues : Anglais (eng) Mots-clés : general mathematics Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

Aristotle's modal syllogisms / McCall, S.

Public ISBD Titre : Aristotle's modal syllogisms Type de document : texte imprimé Auteurs : McCall, S. Editeur : Amsterdam : Morth-Holland Publishing Company Année de publication : 1963 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 100 p. Langues : Anglais (eng) Mots-clés : mathematical logic  modal syllogisms Index. décimale : 03C Monographie Aristotle's modal syllogisms [texte imprimé] / McCall, S. . - Morth-Holland Publishing Company, 1963 . - viii - 100 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais (eng) Mots-clés : mathematical logic  modal syllogisms Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit / Hermes, H.

Public ISBD Titre : Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : einführung in die Theorie der rekursiven Funktionen Type de document : texte imprimé Auteurs : Hermes, H. Editeur : Springer-Verlag Année de publication : 1961 Collection : Die Grundlehren der Mathematischen Wissenschaften num. 109 Importance : ix - 245 p. Langues : Allemand (ger) Mots-clés : recursive functions  mathematical logic Index. décimale : 03C Monographie Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : einführung in die Theorie der rekursiven Funktionen [texte imprimé] / Hermes, H. . - Springer-Verlag, 1961 . - ix - 245 p.. - (Die Grundlehren der Mathematischen Wissenschaften; 109) . Langues : Allemand (ger) Mots-clés : recursive functions  mathematical logic Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

Automata on infinite objects and church's problem / Rabin, Michael O.

Public ISBD Titre : Automata on infinite objects and church's problem Type de document : texte imprimé Auteurs : Rabin, Michael O. Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1972 Collection : Conference Board of the Mathematical Sciences - Regional Conference Series in Mathematics, ISSN 0160-7642 num. 13 Importance : 22 p. ISBN/ISSN/EAN : 978-0-8218-1663-9 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata Mots-clés : formal languages  automata theory in connection with logical questions  church's problem Index. décimale : 03B Publication collective Automata on infinite objects and church's problem [texte imprimé] / Rabin, Michael O. . - American Mathematical Society, 1972 . - 22 p.. - (Conference Board of the Mathematical Sciences - Regional Conference Series in Mathematics, ISSN 0160-7642; 13) . ISBN : 978-0-8218-1663-9 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D05 Automata and formal grammars in connection with logical questions 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata Mots-clés : formal languages  automata theory in connection with logical questions  church's problem Index. décimale : 03B Publication collective

Réservation

Réserver ce document

Exemplaires

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

page /14