Cargando…

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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Smullyan, Raymond M.
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