This site may earn a commission as part of the eBay Partner Network and Amazon Associates Program if you make a purchase through our links.
Introduction to Mathematical Logic, Hardcover by Walicki, Michal, ISBN 9814343862, ISBN-13 9789814343862, Like New Used, Free shipping in the US Walicki (U. of Bergen, Norway) begins with a quick history of logic from inchoate patterns of reasoning to modern symbolic logic. Then he explains elements of set theory, Turing machines, propositional logic, and first order logic. Among specific topics are induction, computability and decidability, soundness and completeness, syntax and proof systems of first order logic, and the semantics of first order logic. Chapter-end exercises facilitate th's use as a course text or for self-study. Annotation ©2012 Book News, Inc., Portland, OR ()
74.87$ Buy It Now
Item | 385875930984 |
---|---|
Seller |
greatbookprices1 ( 317604 ⭐ ) 96.4% Location: Jessup, US, Maryland Accept Payments With , |
Shipping | See shipping cost, Ships to Worldwide, ... |
Guarantee | eBay Money Back Guarantee |
Condition | Like New |
Book Title | Introduction to Mathematical Logic |
ISBN | 9789814343862 |
Publication Year | 2011 |
Type | Textbook |
Format | Hardcover |
Language | English |
Subject Area | Mathematics |
Publication Name | Introduction to Mathematical Logic |
Author | Micha Walicki |
Publisher | World Industries Scientific Publishing Co Pte LTD |
Subject | History & Philosophy, Logic, Complex Analysis |
Item Weight | 0 Oz |
Number of Pages | 280 Pages |
No more products to load