Home Advanced Search

Advanced Search - Page 1

Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium
  • DJVU
  • English
  • Year: 1978
  • Author: Fenstad J.E., Gandy R.O., Sacks G.E. (eds.)
Logic Colloquium'76: Proceedings of a conference held in Oxford in July 1976
  • PDF
  • English
  • Year: 1977
  • Author: R.O. Gandy, J.M.E. Hyland (eds.)
Logic Colloquium'76: Proceedings of a conference held in Oxford in July 1976
  • PDF
  • English
  • Year: 1977
  • Author: R.O. Gandy, J.M.E. Hyland (eds.)
Collected works of A. M. Turing. Volume 4: Mathematical Logic
  • PDF
  • English
  • Year: 2001
  • Author: R.O. Gandy, C.E.M. Yates (eds.)
Logic Colloquium'76: Proceedings of a conference held in Oxford in July 1976
  • DJVU
  • English
  • Year: 1977
  • Author: R.O. Gandy, J.M.E. Hyland (eds.)
Collected works of A. M. Turing. Volume 4: Mathematical Logic
  • DJVU
  • English
  • Year: 2001
  • Author: R.O. Gandy, C.E.M. Yates (eds.)
Logic Colloquium '69: Proceedings Manchester, 1969
  • DJVU
  • English
  • Year: 1971
  • Author: Gandy R.O., Yates C.M.E. (eds.)
Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium
  • DJVU
  • English
  • Year: 1974
  • Author: Fenstad J.E., Hinman P.G. (eds.)
Mathematical Logic, Volume 4
  • DJVU
  • English
  • Year: 2001
  • Author: R.O. Gandy, C.E.M. Yates
Mathematical Logic
  • PDF
  • English
  • Author: R.O. Gandy, C.E.M. Yates, Solomon Feferman, Andrew Hodges, Jack Good and Martin Campbell-Kelly (Eds.)
search