Godel's incompleteness theorems /
An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice.
Основен автор: | Smullyan, Raymond M. |
---|---|
Формат: | Електронна книга |
Език: | English |
Публикувано: |
New York :
Oxford University Press,
1992.
|
Серия: |
Oxford logic guides ;
19. |
Предмети: | |
Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=143665 |
Подобни документи: |
Print version::
Godel's incompleteness theorems. |
Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=143665 |
---|
Провери в Paniza Library, AUBG | Сигнатура: |
QA9.65 .S69 1992eb |
---|