skip to main content
Langue :
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Afficher les résultats avec :

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

résultats 1 2 3 4 5 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logique, dynamique et cognition
Material Type:
Livre
Ajouter au Panier

Logique, dynamique et cognition

Joinet, Jean-Baptiste (Dir.) ; Université Paris 1 Panthéon-Sorbonne (Ed.)

Appartient à la collection : Logique, langage, sciences, philosophie, ISSN 1956-0451

Paris. Publications de la Sorbonne, 2007

Disponible(->>)

2
Material Type:
Livre
Ajouter au Panier

E. W. Beth Memorial Colloquium : logic and foundations of science Paris, Institut Poincaré, 19-21 May 1964

Destouches, Jean-Louis (1909-1980) (Ed.) ; Beth, Evert Willem (1908-1964) (Personne honorée)

Dordrecht. D. Reidel. Paris. Gauthier-Villars, cop. 1967

Disponible(->>)

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

4
Material Type:
Livre
Ajouter au Panier

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover, 1966

Schmidt, H. Arnold (Ed.) ; Schütte, Kurt (1909-...) (Ed.) ; Thiele, Helmut-J (Ed.)

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

Amsterdam. North-Holland, 1968

Disponible(->>)

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

6
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

Indisponible     (->>)

7
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

Indisponible     (->>)

8
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

Indisponible     (->>)

9
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

Indisponible     (->>)

10
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

Indisponible     (->>)

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (15)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

  1. Logique mathématique. Actes de congrès  (60)
  2. Logic, Symbolic and mathematical. Congresses  (33)
  3. Logic, Symbolic and mathematical  (15)
  4. Théorie des ensembles. Actes de congrès  (8)
  5. Informatique. Mathématiques Actes de congrès  (6)
  6. Mathematics  (6)
  7. Set theory. Congresses  (5)
  8. Mathématiques  (5)
  9. Computer science. Mathematics Congresses  (5)
  10. Récursivité, Théorie de la. Actes de congrès  (5)
  11. Computer science  (4)
  12. Mathematical Logic and Formal Languages  (3)
  13. Mathématiques. Philosophie Actes de congrès  (3)
  14. Philosophie des sciences. Actes de congrès  (3)
  15. Mathematics, general  (3)
  16. Sciences. Méthodologie Actes de congrès  (3)
  17. Physique mathématique. Actes de congrès  (2)
  18. Computable functions. Congresses  (2)
  19. Informatique. Actes de congrès  (2)
  20. Logic. Congresses  (2)
  21. Quantificateurs (logique mathématique). Actes de congrès  (2)
  22. Frege, Gottlob (1848-1925). Actes de congrès  (2)
  23. Analyse combinatoire. Actes de congrès  (2)
  24. Variétés symplectiques. Actes de congrès  (2)
  25. Ordinateurs. Programmation Actes de congrès  (2)
  26. Ensembles, Théorie descriptive des. Actes de congrès  (2)
  27. Recursion theory. Congresses  (2)
  28. Mathématiques. Fondements Actes de congrès  (2)
  29. Programmation (mathématiques). Actes de congrès  (2)
  30. Science. Philosophy Congresses  (2)
  31. Mathematical Logic and Foundations  (2)
  32. Théorie quantique. Actes de congrès  (1)
  33. Catégories (mathématiques). Actes de congrès  (1)
  34. Automates mathématiques, Théorie des. Actes de congrès  (1)
  35. Feuilletages (mathématiques). Actes de congrès  (1)
  36. Modèles mathématiques. Actes de congrès  (1)
  37. Quantification géométrique. Actes de congrès  (1)
  38. Computers. Congresses  (1)
  39. Computation by Abstract Devices  (1)
  40. Géométrie. Fondements Actes de congrès  (1)
  41. Axiomes. Actes de congrès  (1)
  42. Principe du tiers exclu. Actes de congrès  (1)
  43. Axioms  (1)
  44. Physics. Congresses  (1)
  45. Methodology. Congresses  (1)
  46. Mechanics, Analytic. Congresses  (1)
  47. Artificial Intelligence (incl. Robotics)  (1)
  48. Combinatorics  (1)
  49. Global analysis (Mathematics). Congresses  (1)
  50. Algorithm Analysis and Problem Complexity  (1)
  51. Mathematical physics  (1)
  52. Frege, Gottlob (1848-1925). Critique et interprétation Actes de congrès  (1)
  53. Complexité de calcul (informatique). Actes de congrès  (1)
  54. Foliations (Mathematics). Congresses  (1)
  55. Machines logiques. Actes de congrès  (1)
  56. Topologie. Actes de congrès  (1)
  57. Linguistique mathématique. Actes de congrès  (1)
  58. Computational complexity. Congresses  (1)
  59. Programming Techniques  (1)
  60. Electronic digital computers. Programming Congresses  (1)
  61. Physique. Actes de congrès  (1)
  62. Algebraic topology  (1)
  63. Champs de jauge (physique). Actes de congrès  (1)
  64. Positivisme logique. Actes de congrès  (1)
  65. Computer software  (1)
  66. Combinatorial analysis. Congresses  (1)
  67. Mathematical constants  (1)
  68. Geometry, Differential. Congresses  (1)
  69. Science. Methodology Congresses  (1)
  70. Intelligence artificielle. Actes de congrès  (1)
  71. Logique. Actes de congrès  (1)
  72. Computer graphics  (1)
  73. Systèmes informatiques. Actes de congrès  (1)
  74. Programming (Mathematics). Congresses  (1)
  75. Mathematics. Philosophy Congresses  (1)
  76. Hamilton-Jacobi, Équations de. Actes de congrès  (1)
  77. Computer science. Mathematics  (1)
  78. Automata. Congresses  (1)
  79. Geometry. Foundations Congresses  (1)
  80. Artificial intelligence  (1)
  81. Autres open sub menu

Auteur 

  1. Kechris, Alexander Sotirios  (8)
  2. Association for symbolic logic  (6)
  3. Martin, Donald A  (6)
  4. Moschovakis, Yiannis N  (6)
  5. IEEE computer society.Technical committee on mathematical foundations of computing  (6)
  6. Müller, Gert Heinz. mathématicien  (4)
  7. Tugué, Tosiyuki  (3)
  8. Tarski, Alfred  (3)
  9. Sacks, Gerald Enoch  (3)
  10. Slaman, Theodore A  (2)
  11. Homer, Steven  (2)
  12. Suppes, Patrick  (2)
  13. Scedrov, Andre  (2)
  14. Hodges, Wilfrid  (2)
  15. Steel, John R  (2)
  16. Henkin, Leon  (2)
  17. Bar-Hillel, Yehoshua  (2)
  18. Nerode, Anil  (2)
  19. Académie israélienne des sciences et des lettres  (2)
  20. Odifreddi, Piergiorgio  (2)
  21. Centro internazionale matematico estivo  (2)
  22. Research institute for mathematical sciences  (2)
  23. Mathias, Adrian Richard David  (2)
  24. Platek, Richard A  (2)
  25. Rogers, Hartley  (2)
  26. Shinoda, Juichi  (2)
  27. Schmidt, H. Arnold  (1)
  28. Greco, Sergio  (1)
  29. Girard, Jean-Yves  (1)
  30. Université Paris 1 Panthéon-Sorbonne  (1)
  31. Institut d'histoire et de philosophie des sciences et des techniques.Paris  (1)
  32. Richter, Michael M  (1)
  33. Société mathématique de France.Journées  (1)
  34. Cooper, S. Barry  (1)
  35. Thiel, Christian  (1)
  36. Institut national de recherche en informatique et en automatique.France  (1)
  37. Rosolini, Giuseppe  (1)
  38. Wagner, Pierre. philosophe  (1)
  39. Bouveresse, Jacques  (1)
  40. Loi, Maurice  (1)
  41. Crossley, John Newsome  (1)
  42. University of California.Los Angeles  (1)
  43. Joinet, Jean-Baptiste  (1)
  44. Kozen, Dexter C  (1)
  45. University of California.Berkeley  (1)
  46. Li, Ming. informaticien  (1)
  47. Gandy, Robin O  (1)
  48. Special group on algorithms and computation theory.Etats-Unis  (1)
  49. Bólyai János matematikai társulat  (1)
  50. Steprāns, Juris  (1)
  51. Kreisel, Georg  (1)
  52. Schwichtenberg, Helmut  (1)
  53. Di Prisco, Carlos Augusto  (1)
  54. Association européenne d'informatique théorique  (1)
  55. Lelièvre, Gilbert  (1)
  56. Pedicchio, Maria Cristina  (1)
  57. Institut für Mathematische Logik und Grundlagenforschung.Münster, Allemagne  (1)
  58. Organisation du traité de l'Atlantique nord  (1)
  59. Desolneux-Moulis, Nicole  (1)
  60. Chapuis-Schmitz, Delphine  (1)
  61. Ianni, Giovambattista  (1)
  62. Destouches, Jean-Louis  (1)
  63. Fritz Thyssen Stiftung.Allemagne  (1)
  64. Magyar tudományos akadémia.Könyvtár  (1)
  65. Addison, John West  (1)
  66. Takeuchi, Gaishi  (1)
  67. Leone, Nicola  (1)
  68. Oberschelp, Arnold  (1)
  69. Skolem, Thoralf  (1)
  70. Centre national de la recherche scientifique.France  (1)
  71. Du, Dingzhu  (1)
  72. Lafont, Yves  (1)
  73. Watson, Stephen  (1)
  74. Institut de statistiques mathématiques  (1)
  75. Simpson, Stephen Gershom  (1)
  76. Centre d'études de logique symbolique.Paris  (1)
  77. Indiana university  (1)
  78. Hintikka, Jaakko  (1)
  79. Thiele, Helmut-J  (1)
  80. Yates, C. E. M  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1970  (10)
  2. 1970 à 1980  (10)
  3. 1981 à 1988  (11)
  4. 1989 à 1999  (12)
  5. Après 1999  (19)
  6. Autres open sub menu

Langue 

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