Introduction to Mathematical Logic, Hardcover by Walicki, Michal, Like New Us...

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 ()

Jetzt bei Ebay: