Warehouse Stock Clearance Sale

Grab a bargain today!

Logic for Mathematicians


Product Description
Product Details

Table of Contents

Preface; 1. Informal statement calculus; 2. Formal statement calculus; 3. Informal predicate calculus; 4. Formal predicate calculus; 5. Mathematical systems; 6. The Goedel incompleteness theorem; 7. Computability, unsolvability, undecidability; Appendix; Hints and solutions to selected exercises; References and further reading; Glossary of symbols; Index.

Promotional Information

This is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general.

Ask a Question About this Product More...
Write your question below:
Look for similar items by category
Home » Books » Science » Mathematics » Logic
Item ships from and is sold by Fishpond World Ltd.
Back to top