Intro to Math Logic (Extend Ed)

by Michal Walicki

Book Overview

This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.

Starting with the basics of set theory, induction and computability, it covers propositional and first order logic -- their syntax, reasoning systems and semantics. Soundness and completeness results for Hilbert's and Gentzen's systems...

• Format: Paperback
• Language: English
• ISBN: 981471996X
• ISBN13: 9789814719964
• Release Date: October 2016
• Publisher: World Scientific Publishing Company
• Length: 304 Pages
• Weight: 0.95 lbs.
• Dimensions: 0.7" x 5.9" x 8.9"