Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

A Problem Course in Mathematical Logic

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || 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-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.