A Friendly Introduction to Mathematical Logic
- ISBN-10
- 1942341075
- ISBN-13
- 9781942341079
- Category
- Education
- Pages
- 365
- Language
- English
- Published
- 2015
- Publisher
- Lulu.com
- Authors
- Christopher C. Leary, Lars Kristiansen
Description
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 Godel'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.
Get the book
Similar books
-
General, Organic, and Biological Chemistry: Structures of Life
By Karen C. TimberlakeThe Fifth Edition fully integrates the text with MasteringChemistry to provide an interactive and engaging experience.
-
Chemistry: An Introduction to General, Organic, and Biological Chemistry, Books a la Carte Edition
By Karen TimberlakeNOTE: This edition features the same content as the traditional text in a convenient, three-hole-punched, loose-leaf version.
-
Modified Mastering Chemistry with Pearson Etext -- Standalone Access Card -- For Chemistry: An Introduction to General, Organic, and Biological...
By Karen C. TimberlakeThe text also fosters development of problem-solving skills while helping students visualize and understand concepts through figures, sample problems, and concept maps.
-
Study Guide for General, Organic and Biological Chemistry: Structures of Life
By Karen C. TimberlakeStudy Guide for General, Organic and Biological Chemistry: Structures of Life
-
Chemistry: An Introduction to General, Organic, and Biological Chemistry Plus MasteringChemistry with EText -- Access Card Package
By Karen C. TimberlakeNew problem-solving tools in this edition, including Try it First and Connect, urge readers to think critically about problem-solving while learning best practices. Personalize learning with Mastering Chemistry.
-
Modified Masteringchemistry with Pearson Etext -- Standalone Access Card -- For General, Organic, and Biological Chemistry: Structures of Life
By Karen C. TimberlakeModified Masteringchemistry with Pearson Etext -- Standalone Access Card -- For General, Organic, and Biological Chemistry: Structures of Life
-
Chemistry: An Introduction to General, Organic, and Biological Chemistry, Books a la Carte Plus MasteringChemistry with EText -- Access Card...
By Karen C. TimberlakeChemistry: An Introduction to General, Organic, and Biological Chemistry, Books a la Carte Plus MasteringChemistry with EText -- Access Card...
-
Masteringchemistry With Pearson Etext Standalone Access Card for Chemistry: An Introduction to General, Organic, and Biological Chemistry
By Karen C. TimberlakeMasteringchemistry With Pearson Etext Standalone Access Card for Chemistry: An Introduction to General, Organic, and Biological Chemistry
-
General, Organic, and Biological Chemistry: Structures of Life, Pearson Etext
By Karen C. TimberlakeGeneral, Organic, and Biological Chemistry: Structures of Life, Pearson Etext
-
General, Organic, and Biological Chemistry + Masteringchemistry With Pearson Etext Valuepack Access Card + Study Guide: Structures of Life
By Karen C. Timberlake0321832922 / 9780321832924 General, Organic, and Biological Chemistry: Structures of Life, MasteringChemistry with Pearson eText -- Valuepack Access Card and Study Guide for General, Organic, and Biological Chemistry: Structures of Life, ...