Os teoremas de Gödel

Está disponível na internet o rascunho do novo livro do Dr. Peter Smith, da Faculdade de Filosofia da Universidade de Cambridge.