A Problem Course in Mathematical Logic
Library Home 
Full Table of Contents 
Library Help
http://www.trentu.ca/academic/math/sb/misc/pcml.html  


Stefan Bilaniuk  
A freeware mathematics text, available by anonymous ftp in LaTeX, PostScript, and PDF formats, for an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is for the students, individually or in groups, to learn the material by solving the problems and proving the results for themselves. The book should do as the text for a course taught using the modified Mooremethod. Volume I  Propositional and FirstOrder Logic; Volume II  Computability and Incompleteness.  


Levels:  College 
Languages:  English 
Resource Types:  Textbooks 
Math Topics:  Logic/Foundations 
[Privacy Policy] [Terms of Use]
© 1994 The Math Forum at NCTM. All rights reserved.
http://mathforum.org/