Зарегистрироваться
Восстановить пароль
FAQ по входу

Smullyan R. Diagonalization and Self-Reference

  • Файл формата djvu
  • размером 2,44 МБ
  • Добавлен пользователем
  • Описание отредактировано
Smullyan R. Diagonalization and Self-Reference
Oxford University Press, USA, 1994. - 416 p.
This book presents a systematic, unified treatment of fixed points as they occur in G del's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Smullyan R. First-Order Logic

  • djvu
Dover Publications, 1995. - 176 p. Considered the best book in the field, this completely self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus in on the tableau point of view. Topics include trees, tableau method for propositional logic, Gentzen systems, more....
  • 1,73 МБ
  • добавлен
  • описание отредактировано
Подробнее

Smullyan R. Godel's Incompleteness Theorems

  • djvu
Oxford University Press, 1992. — 139 p. — (Oxford Logic Guides, 19). — ISBN: 0-19-504672-2. Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the...
  • 4,83 МБ
  • добавлен
  • описание отредактировано
Наверх