English
A Problem Course in Mathematical Logic is intended to serve as the text 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
Sign in with your free account to read, download EPUBs or listen.
Logic, Numbers and Set Theory · Introduction to Number Systems and Logic · Propositional Logic · Set Theory · Logic, Set Theory, and Algebra · Elementary Logic · First-Order Logic · Logic and Set Theory · Topological Transitivity · Mathematics