Home Advanced Search

Advanced Search - Page 1

Математическая логика
  • DJVU
  • Russian
  • Year: 1973
  • Author: Клини С.К.(Kleene S.C.)
Введение в метаматематику
  • DJVU
  • Russian
  • Year: 1957
  • Author: Клини С.К.(Kleene S.C.)
Introduction to Metamathematics
  • DJVU
  • English
  • Year: 1952
  • Author: S.C. Kleene
Mathematical Logic
Mathematical Logic
  • DJVU
  • English
  • Year: 2002
  • Author: Stephen Cole Kleene
Introduction to Metamathematics
Introduction to Metamathematics
  • DJVU
  • English
  • Year: 1971
  • Author: Kleene, Stephen Cole
Two Papers on the Predicate Calculus
Two Papers on the Predicate Calculus
  • DJVU
  • English
  • Year: 1997
  • Author: Stephen C. Kleene
Formalized Recursive Functionals and Formalized Realizability
Formalized Recursive Functionals and Formalized Realizability
  • DJVU
  • English
  • Year: 1969
  • Author: Stephen C. Kleene
Two Papers on the Predicate Calculus
Two Papers on the Predicate Calculus
  • PDF
  • English
  • Year: 1997
  • Author: Stephen C. Kleene
Основания интуиционистской математики с точки зрения теории рекурсивных функций
  • DJVU
  • Russian
  • Year: 1978
  • Author: Клини С., Весли Р.
search