A Friendly Introduction to Mathematical Logic - Paperback
$30.99
$33.50
-7%Quantity
01
Pay over time for orders over $35.00 with
Offers & Perks
Earn 30 points with this purchase
Added to your rewards balance after checkout.
100 points welcome bonus
Create an account and start with extra points.
Availability:In StockContributor:Christopher C. Leary, Lars KristiansenPublish date:2015-08-10Pages:380
Languages:EnglishPublisher:Milne LibraryISBN-13:9781942341079ISBN-10:1942341075UPC:9781942341079Book Category:Mathematics, Education, ComputersBook Subcategory:Logic, ProgrammingSize:9.00 x 6.00 x 0.85 inchesWeight:1.22Product ID:SCDS4PD2GX
At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary's user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study. Updating the 1st Edition's treatment of languages, structures, and deductions, leading to rigorous proofs of G del's First and Second Incompleteness Theorems, the expanded 2nd Edition includes a new introduction to incompleteness through computability as well as solutions to selected exercises.
Languages:EnglishPublisher:Milne LibraryISBN-13:9781942341079ISBN-10:1942341075UPC:9781942341079Book Category:Mathematics, Education, ComputersBook Subcategory:Logic, ProgrammingSize:9.00 x 6.00 x 0.85 inchesWeight:1.22Product ID:SCDS4PD2GX
Publisher: Milne Library
Contributor(s)
Authors
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.