You are here

Introduction to Mathematical Logic

Edition: 
4
Publisher: 
Chapman & Hall/CRC
Number of Pages: 
456
Price: 
79.95
ISBN: 
0412808307

BLL* — The Basic Library List Committee recommends this book for acquisition by undergraduate mathematics libraries.

Date Received: 
Saturday, July 15, 2006
Reviewable: 
No
Include In BLL Rating: 
No
Elliott Mendelson
Publication Date: 
1997
Format: 
Hardcover
Category: 
Monograph
Tags: 
BLL
07/8/2009

 The Propositional Calculus
Propositional Connectives. Truth Tables
Tautologies
Adequate Sets of Connectives
An Axiom System for the Propositional Calculus
Independence: Many-Valued Logics
Other Axiomatizations
Quantification Theory
Quantifiers
First-Order Languages and Their Interpretations
First-Order Theories
Properties of First-Order Theories
Additional Metatheorems and Derived Rules
Rule C
Completeness Theorems
First-Order Theories with Equality
Definitions of New Function Letters and Individual Constants
Prenex Normal Forms
Isomorphism of Interpretations. Categoricity of Theories
Generalized First-Order Theories. Completeness and Decidability
Elementary Equivalence. Elementary Extensions
Ultrapowers. Non-Standard Analysis
Semantic Trees
Quantification Theory Allowing Empty Domains
Formal Number Theory
An Axiom System
Number-Theoretic Functions and Relations
Primitive Recursive and Recursive Functions
Arithmatization. Gödel Numbers
The Fixed Point Theorem. Gödel's Incompleteness Theorem
Recursive Undecidability. Church's Theorem
Axiomatic Set Theory
An Axiom System
Ordinal Numbers
Equinumerousity. Finite and Denumerable Sets.
Hartog's Theorem. Initial Ordinals. Ordinal Arithmetic
The Axiom of Choice. The Axiom of Regularity
Other Axiomatizations of Set Theory
Computability
Algorithms. Turing Machines
Diagrams
Partial Recursive Functions. Unsolvable Problems.
The Kleene-Mosotovski Hierarchy. Recursively Enumerable Sets
Other notions of Computability
Decision Problems

Publish Book: 
Modify Date: 
Friday, January 22, 2010

Dummy View - NOT TO BE DELETED