Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

A Problem Course in Mathematical Logic

Library Home || Full Table of Contents || Library Help

Visit this site: http://www.trentu.ca/academic/math/sb/misc/pcml.html

Author:Stefan Bilaniuk
Description: 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.

Levels: College
Languages: English
Resource Types: Textbooks
Math Topics: Logic/Foundations

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.