Intro to Math Logic (Extend Ed)
No Customer Reviews
Select Format
Select Condition 
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"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
