Formal systems and recursive functions : :: SCD d'Orléans

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

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

Đã lưu trong:

Chi tiết về thư mục
Tác giả của công ty:	Logic colloquium :Oxford
Tác giả khác:	Crossley, John Newsome, 1937- (Giám đốc xuất bản), Dummett, Michael Anthony Eardley, 1925-2011 (Giám đốc xuất bản)
Định dạng:	Livre papier
Ngôn ngữ:	Anglais
Được phát hành:	Amsterdam : North-Holland 1965.
Loạt:	Studies in logic and the foundations of mathematics
Những chủ đề:	Fonctions récursives Logique symbolique et mathématique Actes de congrès
Autres localisations:	Voir dans le Sudoc

Những quyển sách tương tự

Recursive function theory and logic
Bằng: Yasuhara, Ann Harris, 1932-2014
Được phát hành: (1971)

Techniques of Admissible Recursion Theory
Bằng: Chong, Chi-Tat, 1949-...., mathématicien

Computability and logic
Bằng: Boolos, George, 1940-1996, et al.
Được phát hành: (1974)

Degrees of unsolvability
Bằng: Shoenfield, Joseph Robert, 1927-2000
Được phát hành: (1971)

Theory of recursive functions and effective computability
Bằng: Rogers, Hartley, 1926-2015
Được phát hành: (1967)

Fonctions récursives
Bằng: Grzegorczyk, Andrzej, 1922-...., philosophe
Được phát hành: (1961)

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
Bằng: Goodstein, Reuben Louis, 1912-1985
Được phát hành: (1964)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
Bằng: Cori, René, et al.
Được phát hành: (1993)

Recursion on the countable functionals
Bằng: Normann, Dag, 1947-

Mathematical foundations of programming
Bằng: Beckman, Frank S., 1921-2009
Được phát hành: (1980)

Mathematical interpretation of formal systems
Bằng: Skolem, Thoralf, 1887-1963, et al.
Được phát hành: (1971)

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19 25, 1989

Logic colloquium '73 : proceedings of the Logic colloquium, Bristol, July 1973
Được phát hành: (1975)

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15 21, 1984

Recursive methods in economic dynamics
Bằng: Stokey, Nancy L., et al.
Được phát hành: (1989)

Méthodes récursives aléatoires
Bằng: Duflo, Marie, 1940-2019, mathématicienne
Được phát hành: (1990)

Computability and unsolvability
Bằng: Davis, Martin, 1928-2023
Được phát hành: (1958)

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
Bằng: Davis, Martin, 1928-2023, et al.
Được phát hành: (1965)

Degrees of unsolvability
Bằng: Sacks, Gerald, 1933-2019
Được phát hành: (1966)

Logic colloquium '69 : proceedings of the Summer school and colloquium in mathematical logic, Manchester, August 1969
Được phát hành: (1971)

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Được phát hành: (1968)

Logic colloquium'77 : Proceedings of the colloquium held in Wroclaw, August 1977
Được phát hành: (1978)

Logic Colloquium '78 : proceedings of the Colloquium held in Mons, August 1978
Được phát hành: (1979)

Médias récursifs
Bằng: Uricchio, William
Được phát hành: (2022)

Médias récursifs
Bằng: Uricchio, William
Được phát hành: (2022)

The nature of computation : logic, algorithms, applications : proceedings
Được phát hành: (2013)

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

Logic colloquium : symposium on logic held at Boston, 1972-73
Được phát hành: (1975)

An introduction to formal logic
Bằng: Smith, Peter J, 1944-
Được phát hành: (2003)

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Được phát hành: (1977)

Enumerability, decidability, computability : an introduction to the theory of recursive functions
Bằng: Hermes, Hans, 1912-2003
Được phát hành: (1965)

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Được phát hành: (1975)

Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

Computations in higher types
Bằng: Moldestad, Johan, 1946-

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales