Gödel's incompleteness theorems /

Gödel's incompleteness theorems /

Saved in:
Bibliographic Details
Author / Creator:Smullyan, Raymond M.
Imprint:New York : Oxford University Press, 1992.
Description:1 online resource (xiii, 139 pages).
Language:English
Series:Oxford logic guides ; 19
Oxford logic guides ; 19.
Subject:
Gödel's theorem.
Logic, Symbolic and mathematical.
Gödel's theorem.
Logic, Symbolic and mathematical.
Electronic books.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11164294
Hidden Bibliographic Details
ISBN:1423735196
9781423735199
160129641X
9781601296412
9780195046724
0195046722
0195046722
1280439823
9781280439827
9786610439829
6610439826
0195364376
9780195364378
Digital file characteristics:data file
Notes:Includes bibliographical references and index.
English.
Print version record.
Summary: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.
Other form:Print version: Smullyan, Raymond M. Gödel's incompleteness theorems. New York : Oxford University Press, 1992

Similar Items