Home Advanced Search

Advanced Search - Page 1

1-Consistency and faithful interpretations
  • PDF
  • English
  • Year: 1960
  • Author: Feferman S., Kreisel G., Orey S.
Model-Theoretic Logics
  • PDF
  • English
  • Year: 2017
  • Author: J. Barwise (editor), S. Feferman (editor)
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  • PDF
  • English
  • Year: 1981
  • Author: W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  • DJVU
  • English
  • Year: 1981
  • Author: W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
Iterated Inductive Definitions and Subsystems of Analysis
  • DJVU
  • English
  • Year: 1981
  • Author: W. Buchholz, S. Feferman, W. Pohlers, W. Sieg
Collected works. Publications 1938-1974
  • DJVU
  • English
  • Year: 1989
  • Author: Kurt Gödel, S. Feferman, John W. Dawson Jr., Stephen C. Kleene, G. Moore, R. Solovay, the late Jean van Heijenoort
Reports of the Midwest Category Seminar III
  • PDF
  • English
  • Year: 1969
  • Author: M. Barr, P. Berthiaume, B. J. Day, J. Duskin, S. Feferman, G. M. Kelly, S. Mac Lane, M. Tierney, R. F. C. Walters (auth.)
Reports of the Midwest Category Seminar III
  • PDF
  • English
  • Year: 1969
  • Author: M. Barr, P. Berthiaume, B. J. Day, J. Duskin, S. Feferman, G. M. Kelly, S. Mac Lane, M. Tierney, R. F. C. Walters (auth.)
Исследования по теории доказательств. Сборник статей
  • DJVU
  • Russian
  • Year: 1981
  • Author: Крайзель Г. (Kreisel G.)
Elements of mathematical logic (model theory)
  • DJVU
  • English
  • Year: 1967
  • Author: G Kreisel, J L Krivine
search