Association for Symbolic Language

TC

The Cabal seminar

fromLecture notes in logic

0 Type: Book

The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion Theory is the third in a series of four books collecting the seminal papers from the original volumes together with extensive unpu…