Sets, models and recursion theory : :: SCD d'Orléans

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	Logic colloquium :Leicester, GB
Altres autors:	Crossley, John Newsome, 1937- (Editor)
Format:	Livre papier
Idioma:	Anglais
Publicat:	Amsterdam : North-Holland 1967.
Col·lecció:	Studies in logic and the foundations of mathematics
Matèries:	Théorie de la récursivité Théorie des modèles Ensembles, Théorie des Actes de congrès
Nota:	Autre tirage : 1974
Autres localisations:	Voir dans le Sudoc

Ítems similars

Set Theory and Hierarchy Theory V

Set theory and hierarchy theory V : Bierutowice, Poland, 1976
Publicat: (1977)

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Publicat: (1977)

Generalized recursion theory : proceedings of the 1972 Oslo symposium
Publicat: (1974)

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Publicat: (1978)

General recursion theory : an axiomatic approach
per: Fenstad, Jens Erik, 1935-2020
Publicat: (1980)

Recursive analysis
per: Goodstein, Reuben Louis, 1912-1985
Publicat: (1961)

Cabal Seminar 81 85 : Proceedings, Caltech-UCLA Logic Seminar 1981 85

Recursion-theoretic hierarchies
per: Hinman, Peter G.
Publicat: (1978)

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

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

Cabal Seminar 79 81 : Proceedings, Caltech-UCLA Logic Seminar 1979 81

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

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

Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1 3, 1979
per: Jensen, Ronald Björn, 1936-

Theory of recursive functions and effective computability
per: Rogers, Hartley, 1926-2015
Publicat: (1967)

Recursion theory and computational complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
per: Lolli, Gabriele, 1942-
Publicat: (2011)

Models of ZF-Set Theory
per: Felgner, Ulrich, 1941-

Recursion on the countable functionals
per: Normann, Dag, 1947-

Induction, recursion, and programming
per: Wand, Mitchell
Publicat: (1980)

Recursive methods in economic dynamics
per: Stokey, Nancy L., et al.
Publicat: (1989)

The recursion method : application to many-body dynamics
per: Viswanath, V.S, et al.

Basic set theory
per: Levy, Azriel
Publicat: (1979)

Set theory and logic
per: Fraenkel, Abraham Adolf, 1891-1965
Publicat: (1966)

Intuitionistic logic model theory and forcing
per: Fitting, Melvin Chris, 1942-
Publicat: (1969)

Elements of mathematical logic and set theory
per: Słupecki, Jerzy, 1904-1987, et al.
Publicat: (1967)

Constructible sets with applications
per: Mostowski, Andrzej, 1913-1975
Publicat: (1969)

Abstract set theory
per: Fraenkel, Abraham, 1891-1965, mathématicien
Publicat: (1968)

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israël Academy of Sciences and Humanitie : Jerusalem, 11-14 November 1968
Publicat: (1970)

Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland 1975
Publicat: (1976)

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977
per: Karpiński, Marek

Set theory
per: Hausdorff, Felix, 1868-1942
Publicat: (1962)

Set theory
per: Jech, Tomáš, 1944-
Publicat: (1978)

Higher Set Theory : Proceedings, Oberwolfach, Germany, April 13 23, 1977

Logic, computers, and sets
per: Wang, Hao, 1921-
Publicat: (1970)

Recursiveness
per: Eilenberg, Samuel, 1913-1998, et al.
Publicat: (1970)

First-order dynamic logic
per: Harel, David, 1950-

Abstract set theory
per: Skolem, Thoralf, 1887-1963
Publicat: (1962)

Elements of set theory
per: Enderton, Herbert, 1936-2010
Publicat: (1977)

Notes on set theory
per: Moschovakis, Yiannis N.

© 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