skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
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
Conference in mathematical logic, London '70
Material Type:
ebook
Ajouter au Panier

Conference in mathematical logic, London '70

Hodges, Wilfrid (1941-...) (Ed.)

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

Berlin [etc.]. Springer, 201. ?

2
Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic
Material Type:
ebook
Ajouter au Panier

Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic

Löb, M. H (Ed.) ; Association for symbolic logic (Ed.)

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

Berlin [etc.]. Springer, 201. ?

3
Théorie des ensembles
Material Type:
ebook
Ajouter au Panier

Théorie des ensembles

Bourbaki, Nicolas

Fait partie de l'ensemble : Éléments de mathématique

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books, 2006

4
Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971
Material Type:
ebook
Ajouter au Panier

Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971

Rogers, Hartley (1926-2015) (Ed.) ; Mathias, Adrian Richard David (1944-...) (Ed.)

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

Berlin [etc.]. Springer, 201. ?

5
From practice to results in logic and mathematics
Material Type:
Livre
Ajouter au Panier

From practice to results in logic and mathematics

Giardino, Valeria (Ed.) ; Moktefi, Amirouche (1978-...) (Ed.) ; Mols, Sandra (Ed.) ; Soler, Léna (1966-...) (Préf.)

Fait partie de l'ensemble : Philosophia scientiae, ISSN 1281-2463

Paris. Éditions Kimé, copyright 2012

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
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(->>)

8
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(->>)

9
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(->>)

10
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. ?

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. Analyse fonctionnelle  (3)
  17. Récursivité, Théorie de la  (3)
  18. Mathématiques intuitionnistes  (3)
  19. Mathématiques constructives  (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. Steprāns, Juris  (1)
  43. Troelstra, Anne Sjerp  (1)
  44. Miller, Benjamin David  (1)
  45. Thomas, Wolfgang  (1)
  46. Makkai, Mihály  (1)
  47. Odifreddi, Piergiorgio  (1)
  48. Epstein, Richard L  (1)
  49. Kamps, Klaus Heiner  (1)
  50. Ambos-Spies, Klaus  (1)
  51. Hirschfeld, Joram  (1)
  52. Feferman, Solomon  (1)
  53. Illusie, Luc  (1)
  54. McAloon, Kenneth  (1)
  55. Soler, Léna  (1)
  56. Laudet, Michel  (1)
  57. Bourbaki, Nicolas  (1)
  58. Siefkes, Dirk  (1)
  59. Shostak, Robert E  (1)
  60. Kershner, Richard Brandon  (1)
  61. Ramsey, Frank Plumpton  (1)
  62. Oberschelp, Walter  (1)
  63. Oberschelp, Arnold  (1)
  64. Bekkali, Mohamed  (1)
  65. Wilkie, Alex J  (1)
  66. Myhill, John  (1)
  67. Schmerl, James Henry  (1)
  68. Mols, Sandra  (1)
  69. Holz, Michael  (1)
  70. Platek, Richard A  (1)
  71. Nolin, Louis  (1)
  72. Winter, Michael  (1)
  73. Cecioni, F  (1)
  74. Ebbinghaus, Heinz-Dieter  (1)
  75. Rogers, Hartley  (1)
  76. Andréka, Hajnal  (1)
  77. Goodman, N  (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.