Share Course Ware
Natural Sciences > Mathematics > A Problem Course in Mathematical Logic
 A Problem Course in Mathematical Logic  posted by  member7_php   on 4/2/2009  Add Courseware to favorites Add To Favorites  
Further Reading
More Options

A Problem Course in Mathematical Logic

Version 1.6

Stefan Bilaniuk

Department of Mathematics
Trent University
Peterborough, Ontario
Canada K9J 7B8
E-mail address:

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.   Tell A Friend