Profile of Mathematical Logic

ISBN-10: 0486434753
ISBN-13: 9780486434759
Edition: N/A
Authors: Howard DeLong
List price: $21.95 Buy it from $9.99
eBook available
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

Description: Readers need only an acquaintance with high school–level math to appreciate this text, which explores the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic, the nature of the formal axiomatic method and its  More...

New Starting from $18.14
eBooks Starting from $21.95
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
Periodic Table Online content $4.95 $1.99
Add to cart
Study Briefs
Periodic Table Online content $4.95 $1.99
Add to cart
Study Briefs
Calculus 1 Online content $4.95 $1.99

Customers also bought

Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

Book details

List price: $21.95
Publisher: Dover Publications, Incorporated
Publication date: 6/17/2004
Binding: Paperback
Pages: 336
Size: 5.25" wide x 8.25" long x 0.75" tall
Weight: 0.748
Language: English

Readers need only an acquaintance with high school–level math to appreciate this text, which explores the historical reasons for the formation of Aristotelian logic, the rise of mathematical logic, the nature of the formal axiomatic method and its use, and the main results of metatheory and their import. 1971 edition. 22 figures. 19 tables. Appendixes. Bibliography. Indexes.

Historical background of mathematical logic
Introduction
Mathematics before Aristotle
Argumentation before Aristotle
Aristotle's logic
Preliminaries
Immediate inferences
Syllogistic theory
Greek mathematics and logic after Aristotle
Mathematics
Logic
Logic from the Stoics to the nineteenth century
Summary
Period of transition
Introduction
Non-Euclidean geometry
Mathematics and argumentation
Numbers
Analytic geometry
Set theory
Paradoxes
Summary
Mathematical logic
Introduction
Formal axiomatic method
Primary logic: The propositional calculus
General logic: The predicate calculus
Set-theoretic logic: Higher-order predicate calculi
The metatheory of mathematical logic
Introduction
The metatheory of the propositional calculus
The metatheory of the predicate calculus
The theory of recursive functions
The metatheory of arithmetic
Preliminaries
The incompleteness of arithmetic
Consistency and categoricalness
The metatheory of set theory
Philosophical implications of mathematical logic
Introduction
Church's thesis
The nature of indeterminate statements
The problem of unsolved problems
The question of consistency
Logic and philosophy
Epilog
Appendix A
Appendix B
Answers to Problems
Bibliography
Symbol Index
General 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.

×