Profile of Mathematical Logic
List price: $21.95
Buy it from $12.56
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 use, and the main results of metatheory and their import. 1971 edition. 22 figures. 19 tables. Appendixes. Bibliography. Indexes.
Rush Rewards U
You have reached 400 XP and carrot coins. That is the daily max!
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.
List price: $21.95
Publisher: Dover Publications, Incorporated
Publication date: 6/17/2004
Size: 5.25" wide x 8.25" long x 0.75" tall
|Historical background of mathematical logic|
|Mathematics before Aristotle|
|Argumentation before Aristotle|
|Greek mathematics and logic after Aristotle|
|Logic from the Stoics to the nineteenth century|
|Period of transition|
|Mathematics and argumentation|
|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|
|The metatheory of the propositional calculus|
|The metatheory of the predicate calculus|
|The theory of recursive functions|
|The metatheory of arithmetic|
|The incompleteness of arithmetic|
|Consistency and categoricalness|
|The metatheory of set theory|
|Philosophical implications of mathematical logic|
|The nature of indeterminate statements|
|The problem of unsolved problems|
|The question of consistency|
|Logic and philosophy|
|Answers to Problems|