Theory of Godel

This book presents Gödel’s incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help.