An introduction to Gödel's theorems

SMITH, Peter. An introduction to Gödel's theorems. 2nd ed. Cambridge : Cambridge University Press, 2013. xvi, 388 s. Cambridge introductions to philosophy. ISBN 978-1-107-60675-3.