A Problem Course in Mathematical Logic
Library Home || Full Table of Contents || Suggest a Link || Library Help
|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 Moore-method. Volume I - Propositional and First-Order Logic; Volume II - Computability and Incompleteness.|
The Math Forum is a research and educational enterprise of the Drexel University School of Education.