Foundations of Mathematical Logic (Dover Books on MaTHEMA 1.4tics) - Softcover
Book 21 of 302: Dover Books on Mathematics
Synopsis
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods ― including algorithms and epitheory ― and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
"synopsis" may belong to another edition of this title.
About the Author
Haskell B. Curry was Evan Pugh Research Professor Emeritus at Pennsylvania State University. He was also a member of the Institute for Advanced Study, Princeton; a Director of the Institute for Foundational Research at the University of Amsterdam; and President of the Association for Symbolic Logic.
"About this title" may belong to another edition of this title.
Search results for Foundations of Mathematical Logic (Dover Books on MaTHEMA...
Seller Image
Foundations of Mathematical Logic (Dover Books on Mathematics)
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item for full refund. Ships via media mail. Seller Inventory # OTV.0486634620.G
Stock Image
FOUNDATIONS OF MATHEMATICAL LOGIC.
Seller: de Wit Books, HUTCHINSON, KS, U.S.A.
Seller rating 5 out of 5 stars
VG, unmarked, 5" x 8" Paperback. viii + 408 pp. Seller Inventory # 030454
Seller Image
Foundations of Mathematical Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 439030-n
Stock Image
Foundations of Mathematical Logic Format: Paperback
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New. Seller Inventory # 9780486634623
Stock Image
Foundations of Mathematical Logic
Published by
Dover Pubns, Mineola, New York, U.S.A., 1977
ISBN 10: 0486634620
ISBN 13: 9780486634623
Used
Soft cover
Seller: Wm Burgett Bks and Collectibles, San diego, CA, U.S.A.
Seller rating 4 out of 5 stars
Soft cover. Condition: Near Fine. Clean copy in near fine condition. Size: 8vo - over 7¾" - 9¾" tall. Seller Inventory # 020041
Seller Image
Foundations of Mathematical Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 439030
Stock Image
Foundations of Mathematical Logic (Paperback)
Published by
Dover Publications Inc., New York, 2003
ISBN 10: 0486634620
ISBN 13: 9780486634623
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. This book is a thoroughly documented and comprehensive account of the constructive theory of the first-order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scientists whose work impinges upon logic. Professor Curry begins by asking a simple question: What is mathematical logic? If we can define logic as "the analysis and criticism of thought" (W. E. Johnson), then mathematical logic is, according to Curry, "a branch of mathematics which has much the same relation to the analysis and criticism of thought as geometry does to the science of space." The first half of the book gives the basic principles and outlines of the field. After a general introduction to the subject, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included here. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation that expresses the meaning to be attached to the logical connectives and to develop the properties that follow from the assumptions so motivated. The author covers positive connectives: implication, conjunction, and alternation. He then goes on to negation and quantification, and concludes with modal operations. Extensive use is made in these latter chapters of the work of Gentzen. Lists of exercises are included. Haskell B. Curry, Evan Pugh Research Professor, Emeritus, at Pennsylvania State University, was a member of the Institute for Advanced Study, Princeton; a former Director of the Institute for Foundational Research, the University of Amsterdam; and President of the Association for Symbolic Logic. His book avoids a doctrinaire stance, presenting various interpretations of logical systems, and offers philosophical and reflective as well as mathematical perspectives. Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. 1963 edition. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780486634623
Stock Image
Foundations of Mathematical Logic (Dover Books on MaTHEMA 1.4tics)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR007442370
Buy Used
£ 15.84
£ 7.80 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Foundations of Mathematical Logic
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock. Seller Inventory # x-0486634620
Buy New
£ 22.56
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
FOUNDATIONS OF MATHEMATICAL LOGIC
Published by
Dover Publications, New York, 2010
ISBN 10: 0486634620
ISBN 13: 9780486634623
Used
Softcover
First Edition
Seller: Rare Book Cellar, Pomona, NY, U.S.A.
Seller rating 5 out of 5 stars
Softcover. First Edition Thus; First Printing. Very Good in wrappers. ; Dover Books on Mathematics; 8.11 X 5.59 X 0.55 inches; 416 pages. Seller Inventory # 75524