Cover Image

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

Corporate Author:	Cabal Seminar California Institute of Technology and University of California, Los Angeles)
Other Authors:	Martin, Donald A.,, Μοσχοβάκης, Γιάννης Ν.
Format:	Book
Language:	English
Published:	Berlin: Springer-Verlag, c1983
Series:	Lecture notes in mathematics (Springer-Verlag) 1019
Subjects:	Recursion theory > Congresses Set theory > Congresses

Similar Items

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)

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)

Computational prospects of infinity
Published: (2008)

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

Complex analysis and spectral theory seminar= Seminar po kompleksnomu i spektralnomu analizu : Leningrad 1979-80/
Published: (1981)

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

Stochastic optimization and control : proceedings of an advanced seminar /
Published: (1968)

Complex analysis, fifth Romanian-Finnish Seminar: proceedings of the seminar, held in Bucharest, June 28-July 3, 1981/
Published: (1983)

Approximation theory: proceedings of a seminar held in Tampa, Florida, 1985-1986/
by: Saff, E. B., 1944-
Published: (1987)

Romanian-Finnish Seminar on Complex Analysis: proceedings Bucharest, Romania, June 27-July 2, 1976/
Published: (1979)

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

A theory of sets/
by: Morse, Anthony Perry
Published: (1986)

Number-theoretic analysis= Zahlentheoretische Analysis : seminar, Vienna, 1988-89/
by: Hlawka, Edmund
Published: (1990)

Approximation and optimization: proceedings of the international seminar held in Havana, Cuba, Jan. 12-16, 1987/
by: Gomez, Alfredo, 1946-
Published: (1988)

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

Measure theory, Oberwolfach, 1979: proceedings of the conference held at Oberwolfach, Germany, July 1-7, 1979/
Published: (1980)

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

Potential theory, Copenhagen 1979: proceedings of a colloquium held in Copenhagen, May 14-18, 1979/
Published: (1980)

Nonlinear elasticity: proceedings/
Published: (1973)

Recursion-theoretic hierarchies/
by: Hinman, Peter G.
Published: (1978)

Approximation theory= Sonderforschungsbereich Zweiundsiebzig Approximation und Optimierung : proceedings of an international colloquium, held at Bonn, Germany, June 8-11, 1976/
Published: (1976)

Probability Winter School: proceedings of the fourth Winter School on Probability, held at Karpacz, Poland, January 1975/
Published: (1975)

Rational approximation and interpolation: proceedings of the United Kingdom-United States conference held at Tampa, Florida, December 12-16, 1983/
Published: (1984)

Sets and proofs :invited papers from Logic Colloquium ʹ97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 /
Published: (1999)

Continuous lattices: proceedings of the conference on topological and categorical aspects of continuous lattices, Workshop 9-11, 1979 ; edited by B. Banaschewski, R. E. Hoffmann [ed. al.]
Published: (1981)

Topics in set theory Lebesgue measurability, large cardinals, forcing axioms, rho-functions /
by: Bekkali, M. 1956-
Published: (1991)

Seminaire de theorie du potentiel: Paris, no. 5/
by: Brelot, Marcel, 1903-
Published: (1980)

Automorphisms of the lattice of recursively enumerable sets/
by: Cholak, Peter, 1962-
Published: (1995)

Computations in higher types/
by: Moldestad, Johan, 1946-
Published: (1977)

Waves on fluid interfaces= Fluid interfaces : proceedings of a symposium/
Published: (1983)

Burnside groups: proceedings of a workshop held at the University of Bielefeld, Germany, June-July 1977/
Published: (1980)

Graph theory: proceedings of a conference held in Lagow, Poland, February 10-13, 1981/
Published: (1983)

Fixed point theory: proceedings of a Conference held at Sherbrooke, Quebec, Canada, June 2-21, 1980/
Published: (1981)

Measure theory and its applications: proceedings of a conference held at Sherbrooke, Quebec, Canada, June 7-18, 1982/
Published: (1983)

Proper forcing/
by: Shelah, Saharon
Published: (1982)

Graph theory, Singapore 1983: proceedings of the First Southeast Asian Graph Theory Colloquium, held in Singapore, May 10-28, 1983/
Published: (1984)

Probability measures on groups, VIII= Probability measures on groups, 8 : proceedings of a conference held in Oberwolfach, November 10-16, 1985/
Published: (1986)

Universal algebra and lattice theory: proceedings of a conference held at Charleston, 11-14, 1984/
Published: (1985)

Cannot write session to /tmp/vufind_sessions/sess_iokqdm52nj6bmksmerd53ja8e5