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

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

résultats 1 2 3 4 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971
Material Type:
Livre
Ajouter au Panier

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

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

Appartient à la collection : Lecture notes in mathematics, 337, ISSN 0075-8434

Berlin [etc.]. Springer-Verlag, 1973, cop. 1973

Disponible(->>)

2
Conference in mathematical logic, London '70
Material Type:
Livre
Ajouter au Panier

Conference in mathematical logic, London '70

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

Appartient à la collection : Lecture notes in mathematics, 255, ISSN 0075-8434

Berlin [etc.]. Springer-Verlag, 1972, cop. 1972

Disponible(->>)

3
Methods in mathematical logic : proceedings of the 6th Latin American symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983
Material Type:
Livre
Ajouter au Panier

Methods in mathematical logic : proceedings of the 6th Latin American symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983

Di Prisco, Carlos Augusto (19..-...) (Ed.)

Appartient à la collection : Lecture notes in mathematics, 1130, ISSN 0075-8434

Berlin. Heidelberg. New York [etc.]. Springer-Verlag, cop. 1985

Disponible(->>)

4
Logic colloquium '69 : proceedings of the Summer school and colloquium in mathematical logic, Manchester, August 1969
Material Type:
Livre
Ajouter au Panier

Logic colloquium '69 : proceedings of the Summer school and colloquium in mathematical logic, Manchester, August 1969

Gandy, Robin O (1919-1995) (Ed.) ; Yates, C. E. M (Ed.)

Appartient à la collection : Studies in logic and the foundations of mathematics, vol. 61, ISSN 0049-237X

Amsterdam. London. North-Holland publ, 1971

Disponible(->>)

5
Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
Material Type:
Livre
Ajouter au Panier

Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79

Kechris, Alexander Sotirios (1946-...) (Ed.) ; Martin, Donald A (1940-...) (Ed.) ; Moschovakis, Yiannis N (Ed.)

Appartient à la collection : Lecture notes in mathematics, 839, ISSN 0075-8434

Berlin. Heidelberg. New York. Springer, 1981

Disponible(->>)

6
Material Type:
Livre
Ajouter au Panier

Applications scientifiques de la logique mathématique : actes du 2e colloque international de logique mathématique, Paris, 25-30 août 1952, Institut Henri Poincaré

Centre d'études de logique symbolique (Paris) (Ed.)

Appartient à la collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris, 5, ISSN 0530-7554

Paris. Gauthier-Villars. Louvain. E. Nauwelaerts, 1954, cop. 1954

Disponible(->>)

7
Mathematical interpretation of formal systems
Material Type:
Livre
Ajouter au Panier

Mathematical interpretation of formal systems

Skolem, Thoralf (1887-1963) ; Hasenjaeger, Gisbert (1919-2006) ; Kreisel, Georg (1923-2015) ; Wiskundig genootschap (Pays-Bas) (Ed.)

Appartient à la collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X

Amsterdam [etc.]. North-Holland Publishing Company, 1971

Indisponible     (->>)

8
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Material Type:
Livre
Ajouter au Panier

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Müller, Gert Heinz (mathématicien) (1923-...) (Ed.) ; Takeuchi, Gaishi (1926-2017) (Ed.) ; Tugué, Tosiyuki (1926-...) (Ed.)

Appartient à la collection : Lecture notes in mathematics, 891, ISSN 0075-8434

Berlin. New York. Springer-Verlag, cop. 1981

Disponible(->>)

9
Mathematical logic and applications : proceedings of the Logic meeting held in Kyoto, 1987
Material Type:
Livre
Ajouter au Panier

Mathematical logic and applications : proceedings of the Logic meeting held in Kyoto, 1987

Shinoda, Juichi (1948-1998) (Ed.) ; Slaman, Theodore A (Ed.) ; Tugué, Tosiyuki (1926-...) (Ed.) ; Research institute for mathematical sciences (Ed.)

Appartient à la collection : Lecture notes in mathematics, 1388, ISSN 0075-8434

Berlin. Paris [etc.]. Springer-Verlag, cop. 1989

Disponible(->>)

10
Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988
Material Type:
Livre
Ajouter au Panier

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988

Appartient à la collection : Studies in logic and the foundations of mathematics, 127, ISSN 0049-237X

Amsterdam. New-York. Oxford. Tokyo. North-Holland, 1989

Disponible(->>)

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

résultats 1 2 3 4 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (2)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

  1. Logique mathématique. Actes de congrès  (33)
  2. Informatique. Mathématiques Actes de congrès  (5)
  3. Computer science. Mathematics Congresses  (5)
  4. Set theory. Congresses  (3)
  5. Philosophie des sciences. Actes de congrès  (3)
  6. Théorie des ensembles. Actes de congrès  (3)
  7. Sciences. Méthodologie Actes de congrès  (3)
  8. Théorie de la démonstration  (2)
  9. Mathematics  (2)
  10. Computable functions. Congresses  (2)
  11. Mathématiques  (2)
  12. Mathematics, general  (2)
  13. Science. Philosophy Congresses  (2)
  14. Automates mathématiques, Théorie des. Actes de congrès  (1)
  15. Modèles mathématiques. Actes de congrès  (1)
  16. Computers. Congresses  (1)
  17. Combinatorial analysis. Congresses  (1)
  18. Mathematical linguistics. Congresses  (1)
  19. Science. Methodology Congresses  (1)
  20. Logique. Actes de congrès  (1)
  21. Logique mathématique  (1)
  22. Methodology. Congresses  (1)
  23. Ordinateurs. Programmation Actes de congrès  (1)
  24. Point fixe, théorie du  (1)
  25. Forcing (mathématiques)  (1)
  26. Logic. Congresses  (1)
  27. Ensembles, Théorie descriptive des. Actes de congrès  (1)
  28. Théorie des ensembles  (1)
  29. Lambda-calcul  (1)
  30. Systèmes informatiques. Actes de congrès  (1)
  31. Model theory. Congresses  (1)
  32. Programming (Mathematics). Congresses  (1)
  33. Modèles mathématiques  (1)
  34. Théorie des modèles. Actes de congrès  (1)
  35. Programmation (mathématiques). Actes de congrès  (1)
  36. Programmation logique. Actes de congrès  (1)
  37. Mathematics. Philosophy Congresses  (1)
  38. Machines logiques. Actes de congrès  (1)
  39. Electronic data processing. Mathematics Congresses  (1)
  40. Linguistique mathématique. Actes de congrès  (1)
  41. Computational complexity. Congresses  (1)
  42. Théorie des modèles  (1)
  43. Electronic digital computers. Programming Congresses  (1)
  44. Logic programming. Congresses  (1)
  45. Analyse combinatoire. Actes de congrès  (1)
  46. Mathematical models. Congresses  (1)
  47. Automata. Congresses  (1)
  48. Mathématiques. Philosophie Actes de congrès  (1)
  49. Autres open sub menu

Auteur 

  1. IEEE computer society.Technical committee on mathematical foundations of computing  (5)
  2. Association for Symbolic Logic  (4)
  3. Müller, Gert Heinz. mathématicien  (3)
  4. Kechris, Alexander Sotirios  (2)
  5. Tugué, Tosiyuki  (2)
  6. Tarski, Alfred  (2)
  7. Hodges, Wilfrid  (2)
  8. Bar-Hillel, Yehoshua  (2)
  9. Académie israélienne des sciences et des lettres  (2)
  10. Moschovakis, Yiannis N  (2)
  11. Mathias, Adrian Richard David  (2)
  12. Rogers, Hartley  (2)
  13. Slaman, Theodore A  (1)
  14. Homer, Steven  (1)
  15. Régnier, Laurent  (1)
  16. Suppes, Patrick  (1)
  17. Hasenjaeger, Gisbert  (1)
  18. Caicedo, Xavier  (1)
  19. Girard, Jean-Yves  (1)
  20. Society for industrial and applied mathematics.Etats-Unis  (1)
  21. Richter, Michael M  (1)
  22. Cooper, S. Barry  (1)
  23. Union internationale d'histoire et de philosophie des sciences  (1)
  24. Institut national de recherche en informatique et en automatique.France  (1)
  25. Scedrov, Andre  (1)
  26. Kalmár, László  (1)
  27. Sacks, Gerald Enoch  (1)
  28. Kozen, Dexter C  (1)
  29. University of California.Berkeley  (1)
  30. Gandy, Robin O  (1)
  31. Truss, J. K  (1)
  32. Special group on algorithms and computation theory.Etats-Unis  (1)
  33. Bólyai János matematikai társulat  (1)
  34. Henkin, Leon  (1)
  35. Potthoff, Karl  (1)
  36. Kreisel, Georg  (1)
  37. Schwichtenberg, Helmut  (1)
  38. Di Prisco, Carlos Augusto  (1)
  39. Association européenne d'informatique théorique  (1)
  40. Institut für Mathematische Logik und Grundlagenforschung.Münster, Allemagne  (1)
  41. Nerode, Anil  (1)
  42. Montenegro, Carlos H  (1)
  43. Organisation du traité de l'Atlantique nord.Division des affaires scientifiques  (1)
  44. Odifreddi, Piergiorgio  (1)
  45. Wiskundig genootschap.Pays-Bas  (1)
  46. Martin, Donald A  (1)
  47. Centro internazionale matematico estivo  (1)
  48. Magyar tudományos akadémia.Könyvtár  (1)
  49. Addison, John West  (1)
  50. Research institute for mathematical sciences  (1)
  51. Takeuchi, Gaishi  (1)
  52. Uniwersytet Warszawski  (1)
  53. Oberschelp, Arnold  (1)
  54. Skolem, Thoralf  (1)
  55. Centre national de la recherche scientifique.France  (1)
  56. Lafont, Yves  (1)
  57. Institut de statistiques mathématiques  (1)
  58. Platek, Richard A  (1)
  59. Simpson, Stephen Gershom  (1)
  60. Centre d'études de logique symbolique.Paris  (1)
  61. Indiana university  (1)
  62. Hintikka, Jaakko  (1)
  63. Butts, Robert E  (1)
  64. Shinoda, Juichi  (1)
  65. American Mathematical Society  (1)
  66. Yates, C. E. M  (1)
  67. Nagel, Ernest  (1)
  68. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1971  (6)
  2. 1971 à 1976  (5)
  3. 1977 à 1984  (6)
  4. 1985 à 1990  (6)
  5. Après 1990  (11)
  6. Autres open sub menu

Langue 

  1. Français  (8)
  2. Allemand  (3)
  3. Russe  (1)
  4. 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.