Cover image for A friendly introduction to mathematical logic
Title:
A friendly introduction to mathematical logic
Author:
Leary, Christopher C., 1957-
Publication Information:
Upper Saddle River, N.J. : Prentice Hall, [2000]

©2000
Physical Description:
xiv, 218 pages ; 24 cm
Language:
English
ISBN:
9780130107053
Format :
Book

Available:*

Library
Call Number
Material Type
Home Location
Status
Central Library QA76.9.L63 L43 2000 Adult Non-Fiction Central Closed Stacks
Searching...

On Order

Summary

Summary

For a one-quarter/one-semester, junior/senior-level course in Mathematical Logic.With the idea that mathematical logic is absolutely central to mathematics, this tightly focused, elementary text discusses concepts that are used by mathematicians in every branch of the subject--a subject with increasing applications and intrinsic interest. It features an inviting writing style and a mathematical approach with precise statements of theorems and correct proofs. Students are introduced to the main results of mathematical logic--results that are central to the understanding of mathematics as a whole.


Table of Contents

1 Structures and Languages
Naively
Languages
Terms and Formulas
Induction
Sentences
Structures
Truth in a Structure
Substitutions and Substitutability
Logical Implication
Summing Up, Looking Ahead
2 Deductions
Naively
Deductions
The Logical Axioms
Rules of Inference
Soundness
Two Technical Lemmas
Properties of our Deductive System
Non-Logical Axioms
Summing Up, Looking Ahead
3 Completeness and Compactness
Naively
Completeness
Compactness
Substructures and the L""wenhei

Google Preview