An introduction to Gödel's theorems

An introduction to Gödel's theorems / Peter Smith . Cambridge : Cambridge University Press, 2013 . xvi, 388 s . ISBN 978-1-107-60675-3 (brož.). ISBN 978-1-107-02284-3 (váz.) .   [1, currently available 1]