x

Our Privacy Policy has changed. By using this site, you agree to the Privacy Policy.

Mathematical Introduction to Logic

ISBN-10: 0122384520
ISBN-13: 9780122384523
Edition: 2nd 2001 (Revised)
List price: $113.00 Buy it from $11.87
eBook available
This item qualifies for FREE shipping

*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.

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

Used Starting from $68.98
New Starting from $107.96
eBooks Starting from $113.00
Buy
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
Calculus 1 Online content $4.95 $1.99
Add to cart
Study Briefs
Algebra Online content $4.95 $1.99
Add to cart
Study Briefs
Introduction to Logic Online content $4.95 $1.99
Add to cart
Study Briefs
Business Math Formulas Online content $4.95 $1.99

Customers also bought

Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

Book details

List price: $113.00
Edition: 2nd
Copyright year: 2001
Publisher: Elsevier Science & Technology Books
Publication date: 12/22/2000
Binding: Hardcover
Pages: 317
Size: 6.50" wide x 9.50" long x 0.75" tall
Weight: 1.650
Language: English

Preface
Introduction
Useful Facts about Sets
Sentential Logic
Informal Remarks on Formal Languages
The Language of Sentential Logic
Truth Assignments
A Parsing Algorithm
Induction and Recursion
Sentential Connectives
Switching Circuits
Compactness and Effectiveness
First-Order Logic
Preliminary Remarks
First-Order Languages
Truth and Models
A Parsing Algorithm
A Deductive Calculus
Soundness and Completeness Theorems
Models of Theories
Interpretations Between Theories
Nonstandard Analysis
Undecidability
Number Theory
Natural Numbers with Successor
Other Reducts of Number Theory
A Subtheory of Number Theory
Arithmetization of Syntax
Incompleteness and Undecidability
Recursive Functions
Second Incompleteness Theorem
Representing Exponentiation
Second-Order Logic
Second-Order Languages
Skolem Functions
Many-Sorted Logic
General Structures
Suggestions for Further Reading
List of Symbols
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.

×