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
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Thèse ou mémoire
Ajouter au Panier

Theory of formal systems

Smullyan, Raymond Merrill (1919-2017)

Appartient à la collection : Annals of mathematics studies, 47, ISSN 0066-2313

Princeton (N.J.). Princeton University Press, 1968, cop. 1961

Disponible(->>)

2
Computations in higher types
Material Type:
Livre
Ajouter au Panier

Computations in higher types

Moldestad, Johan (1946-...)

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

Berlin. Heidelberg. New York. Springer, 1977

Disponible(->>)

3
Material Type:
Livre
Ajouter au Panier

Fonctions récursives

Grzegorczyk, Andrzej (1922-...)

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

Paris. Gauthier-Villars. Louvain. E. Nauwelaerts, 1961

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

4
Super-recursive algorithms
Material Type:
Livre
Ajouter au Panier

Super-recursive algorithms

Burgin, Mark (19..-...)

Appartient à la collection : Monographs in computer science, ISSN 1431-6900

New York. Springer, cop. 2005

Disponible(->>)

5
Computations in Higher Types
Material Type:
ebook
Ajouter au Panier

Computations in Higher Types

Moldestad, Johan (1946-...)

Lecture Notes in Mathematics ; 574

Berlin [etc.]. Springer, 201. ?

6
Material Type:
Thèse ou mémoire
Ajouter au Panier

Theory of formal systems

Smullyan, Raymond Merrill (1919-2017)

Appartient à la collection : Annals of mathematics studies, 47, ISSN 0066-2313

Princeton (N.J.). Princeton University Press, 1961

Disponible(->>)

7
Techniques of admissible recursion theory
Material Type:
Livre
Ajouter au Panier

Techniques of admissible recursion theory

Chong, Chi-Tat (1949-...)

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

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

Disponible(->>)

8
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
Material Type:
Livre
Ajouter au Panier

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets

Soare, Robert Irving (1940-...)

Appartient à la collection : Perspectives in mathematical logic, ISSN 0172-6641

Berlin. Heidelberg. Paris [etc.]. Springer-Verlag, cop. 1987

Disponible(->>)

9
Material Type:
Livre
Ajouter au Panier

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963

Crossley, John Newsome (1937-...) (Ed.) ; Dummett, Michael Anthony Eardley (1925-2011) (Ed.) ; Association for symbolic logic (Ed.) ; Organisation du traité de l'Atlantique nord (Ed.)

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

Amsterdam. North-Holland, 1965

Disponible(->>)

10
Material Type:
Livre
Ajouter au Panier

Leçons sur les récurrences et leurs applications

Montel, Paul (1876-1975) ; Dufresnoy, Jacques (Ed.) ; Lefebvre, Éloi (Ed.)

Appartient à la collection : Collection de monographies sur la théorie des fonctions Fait partie de l'ensemble : Collection de monographies sur la théorie des fonctions

Paris. Gauthier-Villars, 1957, cop. 1956

Disponible(->>)

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

Affiner vos résultats

Type de ressource 

  1. Livres  (51)
  2. ebooks  (9)
  3. Thèses ou mémoires  (3)
  4. Autres open sub menu

Localisation 

  1. Descartes  (8)
  2. Descartes - CDR  (14)
  3. Descartes - LARHRA  (2)
  4. Monod  (41)
  5. Autres open sub menu

Sujet 

  1. Fonctions récursives  (42)
  2. Récursivité, Théorie de la  (23)
  3. Recursive functions  (20)
  4. Fonctions calculables  (13)
  5. Recursion theory  (11)
  6. Logique mathématique  (10)
  7. Complexité de calcul (informatique)  (10)
  8. Computable functions  (9)
  9. Algorithmes  (9)
  10. Mathématiques  (8)
  11. Logic, Symbolic and mathematical  (7)
  12. Mathematics  (7)
  13. Automates mathématiques, Théorie des  (7)
  14. Turing, Machines de  (6)
  15. Décidabilité (logique mathématique)  (6)
  16. Non-résolubilité (logique mathématique)  (5)
  17. Théorie des ensembles  (4)
  18. Machines séquentielles, Théorie des  (4)
  19. Mathematics, general  (4)
  20. Algorithms  (4)
  21. Informatique  (4)
  22. Ordinateurs. Programmation  (3)
  23. Théorie des modèles  (3)
  24. Unsolvability (Mathematical logic)  (3)
  25. Logique  (3)
  26. Mathematical Logic and Foundations  (3)
  27. Programmation récursive  (2)
  28. Espaces analytiques  (2)
  29. Espaces fibrés (mathématiques)  (2)
  30. Computer science  (2)
  31. Mathématiques constructives  (2)
  32. Gödel's theorem  (2)
  33. Computer Science, general  (2)
  34. Fonctions récursives. Informatique  (2)
  35. Calcul formel  (2)
  36. Intelligence artificielle  (2)
  37. Fonctions de plusieurs variables complexes  (2)
  38. Gödel, Théorème de  (2)
  39. Métamathématique  (2)
  40. Langages formels  (2)
  41. PASCAL (langage de programmation). Problèmes et exercices  (2)
  42. Set theory  (2)
  43. C*-algèbres  (1)
  44. Machine theory  (1)
  45. Files d'attente, Théorie des  (1)
  46. Structures de données (informatique)  (1)
  47. Raisonnement  (1)
  48. Reasoning (Psychology)  (1)
  49. Théorie des ensembles. Problèmes et exercices  (1)
  50. Macroéconomie  (1)
  51. Langages de programmation  (1)
  52. Model theory  (1)
  53. Mathématiques intuitionnistes  (1)
  54. PASCAL (langage de programmation)  (1)
  55. Intuitionistic mathematics  (1)
  56. Forcing (Model theory)  (1)
  57. Fonctions calculables. Manuels d'enseignement supérieur  (1)
  58. Electronic digital computers. Programming  (1)
  59. Théorie des ensembles. Manuels d'enseignement supérieur  (1)
  60. Gödel Théorème de  (1)
  61. Statics and dynamics (Social sciences)  (1)
  62. Metamathematics  (1)
  63. Analyse mathématique  (1)
  64. Fonctions calculables. Problèmes et exercices  (1)
  65. Fonctions récursives. Actes de congrès  (1)
  66. Functionals  (1)
  67. Forcing (mathématiques)  (1)
  68. Macroeconomics  (1)
  69. Fonction récursive  (1)
  70. Modèles mathématiques  (1)
  71. Théorie des modèles. Problèmes et exercices  (1)
  72. Graph theory  (1)
  73. C*-algebras  (1)
  74. Recursive functions. Data processing  (1)
  75. Series, Infinite  (1)
  76. Fichiers (informatique). Organisation  (1)
  77. Séries infinies  (1)
  78. Psycholinguistics  (1)
  79. Gödel, Théorème de. Problèmes et exercices  (1)
  80. Nombres, Théorie des  (1)
  81. Autres open sub menu

Auteur 

  1. Davis, Martin  (3)
  2. Chong, Chi-Tat  (3)
  3. Smullyan, Raymond Merrill  (3)
  4. Normann, Dag  (2)
  5. Slaman, Theodore A  (2)
  6. Fischer, Gerd  (2)
  7. Zarach, Andrzej  (2)
  8. Sacks, Gerald Enoch  (2)
  9. Margenstern, Maurice  (2)
  10. Moldestad, Johan  (2)
  11. Wolper, Pierre  (2)
  12. Srebrny, Marian  (2)
  13. Goodstein, Reuben Louis  (2)
  14. Matalon, Benjamin  (1)
  15. Plassmann, O  (1)
  16. Scholl, Pierre-Claude  (1)
  17. Dekker, Jacob C. E  (1)
  18. Girard, Jean-Yves  (1)
  19. Sargent, Thomas J  (1)
  20. Cooper, S. Barry  (1)
  21. Blanchard, Patrice  (1)
  22. Kushner, Harold Joseph  (1)
  23. Inhelder, Bärbel  (1)
  24. Hermann, G. T  (1)
  25. Crossley, John Newsome  (1)
  26. Boolos, George  (1)
  27. Lachlan, Alistair H  (1)
  28. Hermes, Hans  (1)
  29. Dehornoy, Patrick  (1)
  30. Weber, Rebecca  (1)
  31. Müller, Gert H  (1)
  32. Vesley, Richard Eugène  (1)
  33. Ithier, Philippe  (1)
  34. Kozen, Dexter C  (1)
  35. Deruyver, Aline  (1)
  36. Cutland, Nigel  (1)
  37. Lefebvre, Éloi  (1)
  38. Murawski, Roman  (1)
  39. Roeper, Thomas  (1)
  40. Association for symbolic logic  (1)
  41. Minsky, Marvin  (1)
  42. Paull, Marvin C  (1)
  43. Organisation du traité de l'Atlantique nord  (1)
  44. Yasuhara, Ann Harris  (1)
  45. Chauvin, André  (1)
  46. Dummett, Michael Anthony Eardley  (1)
  47. Herken, Rolf  (1)
  48. Smith, Carl  (1)
  49. Kleene, Stephen Cole  (1)
  50. Epstein, Richard L  (1)
  51. Uspenskij, Vladimir Andreevič  (1)
  52. Lascar, Daniel  (1)
  53. Montel, Paul  (1)
  54. Barron, David William  (1)
  55. Weihrauch, Klaus  (1)
  56. Feng, Qi  (1)
  57. Speas, Margaret  (1)
  58. Cori, René  (1)
  59. Yin, George  (1)
  60. Ljungqvist, Lars  (1)
  61. Marek, Victor W  (1)
  62. Lucas, Michel  (1)
  63. Hinman, Peter G  (1)
  64. Burgess, John P  (1)
  65. Harel, David  (1)
  66. Faure, Frédéric. informaticien  (1)
  67. Ebbinghaus, Heinz-Dieter  (1)
  68. Rogers, Hartley  (1)
  69. Dufresnoy, Jacques  (1)
  70. Wainer, S. S  (1)
  71. Piaget, Jean  (1)
  72. Romanetti, Robert  (1)
  73. Soare, Robert Irving  (1)
  74. Burgin, Mark  (1)
  75. Krivine, Jean-Louis  (1)
  76. Salomaa, Arto  (1)
  77. Turing, Alan Mathison  (1)
  78. Karpiński, Marek  (1)
  79. Peyrin, Jean-Pierre  (1)
  80. Grzegorczyk, Andrzej  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1966  (11)
  2. 1966 à 1975  (10)
  3. 1976 à 1987  (8)
  4. 1988 à 1996  (12)
  5. Après 1996  (22)
  6. Autres open sub menu

Langue 

  1. Anglais  (46)
  2. Français  (17)
  3. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Davis, Martin
  2. Chong, Chi-Tat
  3. Smullyan, Raymond Merrill
  4. Normann, Dag
  5. Slaman, Theodore A

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.