Home Advanced Search

Advanced Search - Page 1

Исследования по теории доказательств. Сборник статей
  • DJVU
  • Russian
  • Year: 1981
  • Author: Крайзель Г. (Kreisel G.)
Биография Курта Геделя
  • PDF
  • Russian
  • Year: 2003
  • Author: Крайзель Г.
Биография Курта Геделя
  • PDF
  • Russian
  • Author: Крайзель Г.
Исследования по теории доказательств
  • DJVU
  • Russian
  • Year: 1983
  • Author: Крайзель Г.
Elements of mathematical logic (model theory)
  • DJVU
  • English
  • Year: 1967
  • Author: G Kreisel, J L Krivine
Wittgenstein's Theory and Practice of Philosophy
  • PDF
  • English
  • Author: Kreisel
1-Consistency and faithful interpretations
  • PDF
  • English
  • Year: 1960
  • Author: Feferman S., Kreisel G., Orey S.
Mathematical interpretation of formal systems
  • DJVU
  • English
  • Year: 1971
  • Author: Skolem T., Hasenjaeger G., Kreisel G., Robinson A., et al.
Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976
  • PDF
  • English
  • Year: 1978
  • Author: G. Kreisel (auth.), Jaakko Hintikka, Ilkka Niiniluoto, Esa Saarinen (eds.)
Colloque international de logique, Clermont-Ferrand 18-25 juillet 1975.
  • PDF
  • English
  • Year: 1977
  • Author: Georg Kreisel
search