Gödel'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.
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
New York :
Oxford University Press,
1992.
|
Colección: | Oxford logic guides ;
19. |
Temas: | |
Acceso en línea: | Texto completo |