A Problem Course in Mathematical Logic

Version 1.6

Department of Mathematics
Trent University
Peterborough, Ontario
Canada K9J 7B8
E-mail address: sbilaniuk@trentu.ca

1991 Mathematics Subject Classi cation. 03
Key words and phrases. logic, computability, incompleteness

Abstract. This is a text for a problem-oriented course on mathematical
logic and computability.

Copyright c
1994-2003 Stefan Bilaniuk.
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License,
Version 1.2 or any later version published by the Free Software
Foundation; with no Invariant Sections, no Front-Cover Texts, and
no Back-Cover Texts. A copy of the license is included in the section
entitled \GNU Free Documentation License".

This work was typeset with LATEX, using the AMS-LATEX and
AMSFonts packages of the American Mathematical Society.