Mathematical Logic

ISBN-10: 1568811357
ISBN-13: 9781568811352
Edition: 2nd 2001
List price: $47.95
30 day, 100% satisfaction guarantee

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

Learn more about our returns policy

what's this?
Rush Rewards U
Members Receive:
coins
coins
You have reached 400 XP and carrot coins. That is the daily max!
You could win $10,000

Get an entry for every item you buy, rent, or sell.

Study Briefs

Limited time offer: Get the first one free! (?)

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

Add to cart
Study Briefs
History of Western Art Online content $4.95 $1.99
Add to cart
Study Briefs
History of World Philosophies Online content $4.95 $1.99
Add to cart
Study Briefs
American History Volume 1 Online content $4.95 $1.99
Add to cart
Study Briefs
History of Western Music Online content $4.95 $1.99

Customers also bought

Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

Book details

List price: $47.95
Edition: 2nd
Copyright year: 2001
Publisher: A K Peters, Limited
Publication date: 2/9/2001
Binding: Paperback
Pages: 356
Size: 6.75" wide x 9.50" long x 0.75" tall
Weight: 1.144
Language: English

The Nature of Mathematical Logic
Axiom systems
Formal systems
Syntactical variables
First-Order Theories
Functions and predicates
Truth functions
Variables and quantifiers
First-order languages
Structures
Logical axioms and rules
Problems
Theorems in First-Order Theories
The tautology theorem
Results on quantifiers
The deduction theorem
The equivalence and equality theorems
Prenex form
Problems
The Characterization Problem
The reduction theorem
The completeness theorem
The consistency theorem
Herbrand's theorem
Addition of function symbols
Extensions by definitions
Interpretations
Problems
The Theory of Models
The compactness theorem
Isomorphisms and substructures
Cardinality of models
Joint consistency
Complete theories
Categoricity
Problems
Incompleteness and Undecidability
Calculability
Recursive functions
Explicit definitions
Sequence numbers
Church's thesis
Expression numbers
Representability
Church's theorem and the incompleteness theorem
Undecidability
Problems
Recursion Theory
Partial functions
Functionals and relations
Properties of recursive functionals
Indices
The arithmetical hierarchy
Relative recursiveness
Degrees
The analytical hierarchy
Hyperarithmetical relations
The characterization theorem
Basis theorems
Problems
The Natural Numbers
Peano arithmetic
The theorem on consistency proofs
The consistency proof
Applications of the consistency proof
Second-order arithmetic
Problems
Set Theory
Axioms for sets
Development of set theory
Ordinals
Cardinals
Interpretations of set theory
Constructible sets
The axiom of constructibility
Forcing
The independence proofs
Large cardinals
Problems
The Word Problem
Index

×
Free shipping on orders over $35*

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

Learn more about the TextbookRush Marketplace.

×