Buy Books Online > Mathematical logic > Introduction to Mathematical Logic
Introduction to Mathematical Logic: Book by Michal Walicki

Introduction to Mathematical Logic

Product Details:    Share this by email:

ISBN: 9789814343879    Publisher: Cambridge Year of publishing: 2011     Format:  Paperback No of Pages: 280        Language: English
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...Read more
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 are presented along with simple decidability arguments. the general applicability of various concepts and techniques is demonstrated by highlighting their consistent reuse in different contexts.Unlike in most comparable texts presentation of syntactic reasoning systems precedes the semantic explanations. the simplicity of syntactic constructions and rules — of a high though often neglected pedagogical value — aids students in approaching more complex semantic issues. This order of presentation also brings forth the relative independence of syntax from the semantics helping to appreciate the importance of the purely symbolic systems like those underlying computers.An overview of the history of logic precedes the main text
Read less

Recommended Books for you - See all

OUT OF STOCK

Looks like the book you were looking for is currently not in stock with us. Please leave us your email and phone number.
We will get back to you as soon as it's available.

Your email
Phone No.
Enter characters from image

Rs.200 OFF

on purchase of Rs.500 & above

1.Click on Add to Cart & Proceed to Checkout
2.Under payment options, choose
"Redeem Coupon Code/Gift Certificate"
3.Enter Promo Code "SHOP200"
4.Get Rs.200 off, Pay Balance Amount

Valid upto 21st July,13

Rs.200 OFF

on purchase of Rs.500 & above

Terms & Conditions