skip to main content
Langue :
Afficher les résultats avec :

Résultats 1 - 10 sur 63  pour Tout le catalogue

résultats 1 2 3 4 5 next page
N'afficher que
Filtré par : sujet: Mathematics supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter au Panier

Basic concepts of mathematics and logic

Gemignani, Michael C

Appartient à la collection : Addison-Wesley series in introductory mathematics

Reading (Mass.). Menlo Park (Calif.). London. Addison-Wesley, cop. 1968

Disponible(->>)

2
Material Type:
Livre
Ajouter au Panier

Lezioni sui fondamenti della matematica. Volume primo. Premesse e questioni generali

Cecioni, Francesco (1884-) ; Scuola normale superiore (Pise, Italie) (Ed.)

Padova. CEDAM = Casa Editrice Dott. Antonio Milani, cop. 1958

Disponible(->>)

3
Logic Colloquium : Symposium on Logic Held at Boston, 1972–73
Material Type:
ebook
Ajouter au Panier

Logic Colloquium : Symposium on Logic Held at Boston, 1972–73

Parikh, Rohit (1936-...) (Ed.)

Lecture Notes in Mathematics ; 453

Berlin [etc.]. Springer, 201. ?

4
The foundations of mathematics and other logical essays
Material Type:
Livre
Ajouter au Panier

The foundations of mathematics and other logical essays

Ramsey, Frank Plumpton (1903-1930) ; Braithwaite, Richard Bevan (1900-1990) (Ed.) ; Moore, George Edward (1873-1958) (Préf.)

Appartient à la collection : The international library of philosophy, Philosophy of logic and mathematics, 5

London. New York. Routledge, 2000

Indisponible     (->>)

5
Material Type:
Livre
Ajouter au Panier

The anatomy of mathematics

Kershner, Richard Brandon (1913-) ; Wilcox, Lee Roy (1912-)

New York. Ronald Press Co, cop. 1950

Disponible(->>)

6
Degrees of Unsolvability: Structure and Theory
Material Type:
ebook
Ajouter au Panier

Degrees of Unsolvability: Structure and Theory

Epstein, Richard L (1947-...)

Lecture Notes in Mathematics ; 759

Berlin [etc.]. Springer, 201. ?

7
Theorems and counterexamples in mathematics
Material Type:
Livre
Ajouter au Panier

Theorems and counterexamples in mathematics

Gelbaum, Bernard R (1922-2005) ; Olmsted, John Meigs Hubbell (1911-1997)

Appartient à la collection : Problem books in mathematics, ISSN 0941-3502

New York. Paris. Springer-Verlag, copyright 1990

Disponible(->>)

8
Eine Termlogik mit Auswahloperator
Material Type:
ebook
Ajouter au Panier

Eine Termlogik mit Auswahloperator

Hermes, Hans (1912-2003)

Appartient à la collection : Lecture notes in mathematics (Internet), 6, ISSN 1617-9692

Berlin [etc.]. Springer, 201. ?

9
⊨ISILC Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Material Type:
ebook
Ajouter au Panier

⊨ISILC Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Potthoff, Klaus (Ed.) ; Müller, Gert Heinz (mathématicien) (1923-...) (Ed.) ; Oberschelp, Arnold (Ed.)

Lecture Notes in Mathematics ; 499

Berlin [etc.]. Springer, 201. ?

10
Büchi's monadic second order successor arithmetic
Material Type:
ebook
Ajouter au Panier

Büchi's monadic second order successor arithmetic

Siefkes, Dirk ; Müller, G. H ; Müller, Gert Heinz (mathématicien) (1923-...) (Ed.)

Appartient à la collection : Lecture notes in mathematics (Internet), 120, ISSN 1617-9692 Fait partie de l'ensemble : Decidable theories

Berlin [etc.]. Springer, 201. ?

Résultats 1 - 10 sur 63  pour Tout le catalogue

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (55)

Affiner vos résultats

Type de ressource 

  1. ebooks  (55)
  2. Livres  (8)
  3. Autres open sub menu

Localisation 

  1. Descartes  (4)
  2. Descartes - CDR  (1)
  3. Monod  (3)
  4. Autres open sub menu

Sujet 

  1. Logique mathématique  (54)
  2. Logic, Symbolic and mathematical  (51)
  3. Mathématiques  (45)
  4. Mathematical Logic and Foundations  (40)
  5. Théorie des modèles  (9)
  6. Théorie des ensembles  (8)
  7. Topology  (7)
  8. Algèbre  (7)
  9. Algebra  (6)
  10. Topologie  (6)
  11. Logique mathématique. Actes de congrès  (6)
  12. Théorie de la démonstration  (5)
  13. Analyse mathématique non standard  (4)
  14. Catégories (mathématiques)  (3)
  15. Analyse combinatoire  (3)
  16. Récursivité, Théorie de la  (3)
  17. Mathématiques intuitionnistes  (3)
  18. Mathématiques constructives  (3)
  19. ANALYSE FONCTIONNELLE  (3)
  20. General Algebraic Systems  (3)
  21. Fonctions d'une variable réelle  (3)
  22. Mathématiques. Philosophie  (3)
  23. Functional analysis  (3)
  24. Constructive mathematics  (2)
  25. Combinatorics  (2)
  26. Ensembles, Théorie descriptive des  (2)
  27. Logic, Symbolic and mathematical. Congresses  (2)
  28. Théorèmes. Démonstration automatique  (2)
  29. Geometry, Algebraic  (2)
  30. K-théorie  (2)
  31. Category Theory, Homological Algebra  (2)
  32. Real Functions  (2)
  33. K-theory  (2)
  34. Mathematical logic  (2)
  35. Topos (mathématiques)  (2)
  36. Fonctions récursives  (1)
  37. Axiome de la constructibilité  (1)
  38. Logique mathématique. Congrès et conférences  (1)
  39. Corps valués  (1)
  40. Mathematical analysis  (1)
  41. Théorie des ensembles. Actes de congrès  (1)
  42. Mathematical Logic and Formal Languages  (1)
  43. Intersections, Théorie des  (1)
  44. Mathématiques. Informatique  (1)
  45. Philosophie et sciences. Congrès et conférences  (1)
  46. Arithmétique  (1)
  47. Game Theory, Economics, Social and Behav. Sciences  (1)
  48. Corps formellement réels  (1)
  49. Espaces linéaires normés  (1)
  50. Groupes topologiques de transformations  (1)
  51. Computer science  (1)
  52. Topologie. Actes de congrès  (1)
  53. Automatic theorem proving. Congresses  (1)
  54. Fonctions calculables. Informatique  (1)
  55. Approximations and Expansions  (1)
  56. Philosophy  (1)
  57. Groupes p-adiques  (1)
  58. Analyse mathématique. Fondements  (1)
  59. Uniform spaces  (1)
  60. Géométrie algébrique  (1)
  61. Machines séquentielles, Théorie des  (1)
  62. Théorèmes. Démonstration automatique Actes de congrès  (1)
  63. Mesure, Théorie de la  (1)
  64. Descriptive set theory  (1)
  65. Formes quadratiques  (1)
  66. Homological algebra  (1)
  67. Logique mathématique non classique  (1)
  68. Mathématiques. Informatique Actes de congrès  (1)
  69. Anneaux commutatifs  (1)
  70. Logic  (1)
  71. Induction (mathématiques)  (1)
  72. Foncteurs, Théorie des  (1)
  73. Programmation (mathématiques). Actes de congrès  (1)
  74. Science. Philosophy Congresses  (1)
  75. Géométrie  (1)
  76. Commande automatique. Actes de congrès  (1)
  77. Geometry  (1)
  78. Nombres, Théorie des  (1)
  79. Number theory  (1)
  80. Category theory (Mathematics)  (1)
  81. Autres open sub menu

Auteur 

  1. Müller, Gert Heinz. mathématicien  (4)
  2. Sacks, Gerald Enoch  (3)
  3. Prestel, Alexander  (3)
  4. Richter, Michael M  (2)
  5. Jensen, Ronald Björn  (2)
  6. Chihara, Charles S  (2)
  7. Müller, Gert H  (2)
  8. Homer, Steven  (1)
  9. Pohlers, Wolfram  (1)
  10. Löb, M. H  (1)
  11. Börger, Egon  (1)
  12. Berline, Chantal  (1)
  13. Väth, Martin  (1)
  14. Sieg, Wilfried  (1)
  15. Wierzejewski, Jędrzej  (1)
  16. Reyes, Gonzalo E  (1)
  17. Kechris, Alexander Sotirios  (1)
  18. Pumplün, Dieter  (1)
  19. Giardino, Valeria  (1)
  20. Tugué, Tosiyuki  (1)
  21. Tarski, Alfred  (1)
  22. Scott, D. S  (1)
  23. Crossley, John Newsome  (1)
  24. Lawvere, Francis William  (1)
  25. Machover, Maurice  (1)
  26. Roquette, Peter  (1)
  27. Bucur, Ion  (1)
  28. Müller, G. H  (1)
  29. Gillibert, Pierre  (1)
  30. Hodges, Wilfrid  (1)
  31. Richman, Fred  (1)
  32. Steffens, Karsten  (1)
  33. Lambek, Joachim  (1)
  34. Ressayre, Jean-Pierre  (1)
  35. Monk, J. Donald  (1)
  36. Cutland, Nigel  (1)
  37. Wicks, Keith R  (1)
  38. Tholen, Walter  (1)
  39. Podewski, Klaus-Peter  (1)
  40. Hurd, Albert Emerson  (1)
  41. Herrlich, Horst  (1)
  42. Association for Symbolic Logic  (1)
  43. Steprāns, Juris  (1)
  44. Troelstra, Anne Sjerp  (1)
  45. Miller, Benjamin David  (1)
  46. Thomas, Wolfgang  (1)
  47. Makkai, Mihály  (1)
  48. Odifreddi, Piergiorgio  (1)
  49. Epstein, Richard L  (1)
  50. Kamps, Klaus Heiner  (1)
  51. Ambos-Spies, Klaus  (1)
  52. Hirschfeld, Joram  (1)
  53. Feferman, Solomon  (1)
  54. Illusie, Luc  (1)
  55. McAloon, Kenneth  (1)
  56. Soler, Léna  (1)
  57. Laudet, Michel  (1)
  58. Bourbaki, Nicolas  (1)
  59. Siefkes, Dirk  (1)
  60. Shostak, Robert E  (1)
  61. Kershner, Richard Brandon  (1)
  62. Ramsey, Frank Plumpton  (1)
  63. Oberschelp, Walter  (1)
  64. Oberschelp, Arnold  (1)
  65. Bekkali, Mohamed  (1)
  66. Wilkie, Alex J  (1)
  67. Myhill, John  (1)
  68. Schmerl, James Henry  (1)
  69. Mols, Sandra  (1)
  70. Holz, Michael  (1)
  71. Platek, Richard A  (1)
  72. Nolin, Louis  (1)
  73. Winter, Michael  (1)
  74. Cecioni, F  (1)
  75. Ebbinghaus, Heinz-Dieter  (1)
  76. Rogers, Hartley  (1)
  77. Andréka, Hajnal  (1)
  78. Olmsted, John Meigs Hubbell  (1)
  79. Chong, Chi-Tat  (1)
  80. Tierney, M  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1968  (2)
  2. 1968 à 1999  (3)
  3. 2000 à 2005  (2)
  4. 2006 à 2010  (53)
  5. Après 2010  (3)
  6. Autres open sub menu

Langue 

  1. Anglais  (59)
  2. Français  (4)
  3. Allemand  (3)
  4. Italien  (1)
  5. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.