Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Cabal Seminar 77-79 :
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Cabal Seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 / edited by A.S. Kechris, D.A. Martin, and Y.N. Moschovakis.
Saved in:
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,
1981.
Series:
Lecture notes in mathematics (Springer-Verlag) ;
839.
Subjects:
Recursion theory
>
Congresses.
Set theory
>
Congresses.
Holdings
Description
Similar Items
Staff View
Similar Items
Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81
Published: (1983)
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)
Computational prospects of infinity. Part I, Tutorials
Published: (2008)
Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Published: (1978)
Cabal seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77
Published: (1978)
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
Published: (1985)
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings]
Published: (1976)
The role of true finiteness in the admissible recursively enumerable degrees
by: Greenberg, Noam, 1974-
Published: (2006)
Potential wadge classes
by: Lecomte, Dominique, 1964-
Published: (2012)
Regressive sets and the theory of isols
by: McLaughlin, Thomas G.
Published: (1982)
The role of true finiteness in the admissible recursively enumerable degrees
by: Greenberg, Noam, 1974-
Published: (2006)
Initial segments of degrees below 0'
by: Epstein, Richard L., 1947-
Published: (1981)
Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (2020)
Cabal Seminar 79-81 Proceedings. Caltech-UCLA Logic Seminar 1979-81
Published: (1983)
Recursion theory : computational aspects of definability
by: Chong, C.-T. (Chi-Tat), 1949-, et al.
Published: (2015)
Cabal Seminar 76–77 Proceedings, Caltech-UCLA Logic Seminar 1976–77
Published: (1978)
Automorphisms of the lattice of recursively enumerable sets
by: Cholak, Peter, 1962-
Published: (1995)
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Published: (1980)
Fundamentals of generalized recursion theory
by: Fitting, Melvin Chris
Published: (1981)
Initial segments of degrees below 0'
by: Epstein, Richard L., 1947-
Published: (1981)
Techniques of admissible recursion theory
by: Chong, C.-T. (Chi-Tat), 1949-
Published: (1984)
Classical recursion theory : the theory of functions and sets of natural numbers
by: Odifreddi, Piergiorgio, 1950-
Published: (1989)
Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993)
Recursion theory
Published: (1985)
Computability, enumerability, unsolvability : directions in recursion theory
Published: (1996)
Thinking recursively
by: Roberts, Eric
Published: (1986)
Minimal weak truth table degrees and computably enumerable Turing degrees
by: Downey, R. G. (Rod G.), et al.
Published: (2020)
Algorithmics : theory and practice
by: Brassard, Gilles, 1955-
Published: (1988)
Automorphisms of the lattice of recursively enumerable sets
by: Cholak, Peter, 1962-
Published: (1995)
Recursive functions in computer theory
by: Péter, Rózsa, 1905-
Published: (1981)
Hierarchies of predicates of finite types,
by: Clarke, Douglas Albert
Published: (1964)
Recursion on the countable functionals
by: Normann, Dag, 1947-
Published: (1980)
Computability, an introduction to recursive function theory
by: Cutland, Nigel
Published: (1980)
Aspects of incompleteness
by: Lindström, Per, 1936-
Published: (1997)
Computable economics
by: Velupillai, Kumaraswamy, 1947-
Published: (2000)
Hierarchies of predicates of finite types
by: Clarke, D. A. (Douglas Albert)
Published: (1964)
Induction, recursion, and programming
by: Wand, Mitchell
Published: (1980)
Recursion via Pascal
by: Rohl, J. S. (Jeffrey Soden), 1938-
Published: (1984)
Cabal Seminar 81-85 Proceedings. Caltech-UCLA Logic Seminar 1981-85
Published: (1988)
Prev
Next
Similar Items
Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81
Published: (1983)
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)
Computational prospects of infinity. Part I, Tutorials
Published: (2008)
Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Published: (1978)