Cover Image

Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81 /

Bibliographic Details
Corporate Author:	Cabal Seminar California Institute of Technology and University of California, Los Angeles
Other Authors:	Kechris, A. S., 1946-, Martin, D. A. (Donald A.), 1940-, Moschovakis, Yiannis N.
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1983.
Series:	Lecture notes in mathematics (Springer-Verlag) ; 1019.
Subjects:	Set theory > Congresses. Recursion theory > Congresses.

Similar Items

Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar 1981-85 /
Published: (1988)

Cabal Seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 /
Published: (1981)

Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar, 1981-85 /
Published: (1988)

Cabal Seminar 79-81 : Proceedings, Caltech-UCLA Logic Seminar 1979-81.
Published: (1983)

Set theory and hierarchy theory V : Bierutowice, Poland, 1976 : [proceedings] /
Published: (1977)

Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland, 1975 : [proceedings] /
Published: (1976)

Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 /
Published: (1990)

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 /
Published: (1985)

Cabal seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 /
Published: (1978)

Computational prospects of infinity /
Published: (2008)

Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 /
Published: (1978)

Recursive aspects of descriptive set theory /
by: Mansfield, Richard, 1941-
Published: (1985)

Regressive sets and the theory of isols /
by: McLaughlin, Thomas G.
Published: (1982)

Techniques of admissible recursion theory /
by: Chong, C.-T. (Chi-Tat), 1949-
Published: (1984)

Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] /
Published: (1976)

Les fonctions combinatoires et les isols /
by: Dekker, J. C. E. (Jacob C. E.), 1921-
Published: (1966)

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

Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 /
Published: (1971)

Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)

Calvin C. Elgot selected papers /
by: Elgot, Calvin C.
Published: (1982)

Cabal Seminar 77-79 : Proceedings. Caltech-UCLA Logic Seminar 1977-79 /
by: Kechris, Alexander S.
Published: (1981)

Recursion on the countable functionals /
by: Normann, Dag, 1947-
Published: (1980)

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

Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979 /
Published: (1981)

Techniques of admissible recursion theory /
by: Chong, C.-T. (Chi-Tat), 1949-
Published: (1984)

Generalized recursion theory : Proceedings of the 1972 Oslo symposium /
Published: (1974)

Recursive analysis /
Published: (1961)

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 /
Published: (1978)

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 /
Published: (1985)

Set theory and its applications : proceedings of a conference held at York University, Ontario, Canada, Aug. 10-21, 1987 /
Published: (1989)

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)

Recursion Theory : Lecture Notes in Logic 1 /
by: Shoenfield, Joseph R.
Published: (2018)

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 /
Published: (1978)

Set theory and its applications : proceedings of a conference held at York University, Ontario, Canada, Aug. 10-21, 1987 /
Published: (1989)

Recursion theory for metamathematics /
by: Smullyan, Raymond M.
Published: (2020)

Category Seminar : proceedings, Sydney Category Theory Seminar, 1972/1973 /
Published: (1974)

Recursion theory /
Published: (1985)

Algebraic recursion theory /
by: Ivanov, L. L. (Ljubomir Lalov), 1952-
Published: (1986)

General recursion theory : an axiomatic approach /
by: Fenstad, Jens Erik
Published: (1980)

Higher recursion theory /
by: Sacks, Gerald E.
Published: (1990)