Mathematics Subject Classiﬁcation.
Key words and phrases.
logic, computability, incompleteness
This is a text for a problem-oriented course on math-ematical logic and computability.Copyrightc
1994-2003 Stefan Bilaniuk.Permission is granted to copy, distribute and/or modify this doc-ument under the terms of the GNU Free Documentation License,Version 1.2 or any later version published by the Free SoftwareFoundation; with no Invariant Sections, no Front-Cover Texts, andno Back-Cover Texts. A copy of the license is included in the sec-tion entitled “GNU Free Documentation License”.This work was typeset with L
TEX, using the
Fonts packages of the American Mathematical Society.