A Friendly Introduction to Mathematical Logic (Christopher C. Leary)

0.0 (0)
A Friendly Introduction to Mathematical Logic (Christopher C. Leary)

Mathematical logic explores the potential and constraints of formal mathematical reasoning at the interface of mathematics, computer science, and philosophy.

Readers with no prior study in the discipline are exposed to the fundamentals of model theory, proof theory, and computability theory in this expansion of Leary's user-friendly 1st edition.

The text can be utilized for self-study or in an upper-division undergraduate classroom. The expanded 2nd Edition updates the 1st Edition's treatment of languages, structures, and deductions, leading to rigorous proofs of Gödel's First and Second Incompleteness Theorems, and it also includes solutions to a few exercises. It also includes a new introduction to incompleteness through computability.

Ebook Details

About the Authors
  • Christopher C. Leary, a native of Homewood, Illinois, attended Oberlin College and the University of Michigan, where in 1985 he worked with Andreas Blass to complete his dissertation. He has worked as a professor at Oberlin College, Stetson University, and SUNY Geneseo since 1992. 
  • At the University of Oslo, Lars Kristiansen teaches mathematics and informatics.
Published Date / Year
(January 23, 2019); eBook (2015)
380 pages
eBook Format

Similar Programming & Computer Books

Handbook of Digital Face Manipulation and Detection: From DeepFakes to Morphing Attacks (Christian Rathgeb, et al)
The first thorough compilation of research on the popular subject of digital face alteration, including DeepFakes, Face Morphing, and Reenactment, is offered in this open access book. ...
NLP - Skills for Learning (Peter Freeth)
This free programming book explores how NLP (Neuro Linguistic Programming) is used in training, education, and instruction. It serves as both an introduction to NLP and a book about...
Natural Language Processing with Python – Analyzing Text with the Natural Language Toolkit (Steven Bird, et al)
The Natural Language Toolkit (NLTK) book is updated for Python 3 and NLTK 3 in this online edition from 2015.  
The Complexity of Boolean Functions (Ingo Wegener)
One of the most fascinating and crucial areas of theoretical computer science presently includes research on the difficulty of Boolean functions in non-uniform processing models. It directly relates to...
Logic and the Foundations of Game and Decision Theory (Giacomo Bonanno, et al)
The Foundations of Game Theory and Decision Making Logic The present collection provides a vibrant and comprehensive overview of a fascinating and quickly developing field, and theory is a...
An Architecture for Combinator Graph Reduction (Philip J. Koopman, Jr.)
The outcomes of research using an abstract machine and cache simulation for decreasing combinator graphs are provided. For similar types of combinator graphs on comparable types of hardware, the...
Applied Combinatorics on Words (M. Lothaire)
This volume's goal is to provide a comprehensive analysis of some of the main areas in which combinatorics is applied. Core algorithms for text processing, natural language processing, audio...
A = B (Marko Petkovsek, et al)
Mathematicians and computer scientists who deal on combinatorics and finite mathematics will find this book interesting. It offers a ground-breaking approach to examining intricate summaries. ...
You might think of this open-source book as a lesson and a collection of notes on convex sets, polytopes, polyhedra, combinatorial topology, Voronoi Diagrams, and Delaunay triangulations. It is...
Mathematical Background: Foundations of Infinitesimal Calculus (K. Stroyan)
This mathematical "background" book demonstrates how to complete the mathematical intricacies of the main course topics. These proofs are technically infallible and entirely rigorous in the sense of contemporary...

User reviews

There are no user reviews for this listing.
Rate this Book