Mathematical Logic (Dover Books on MaTHEMA 1.4tics) - Softcover
Book 198 of 302: Dover Books on Mathematics
Synopsis
Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.
"synopsis" may belong to another edition of this title.
Synopsis
This reprint of Kleene's 1967 text provides an elementary but thorough treatment of mathematical logic of the first order. Kleene (formerly: mathematics, University of Wisconsin, Madison) covers a variety of methods and techniques including model theory (truth tables), Hilbert-type proof theory, and proof theory through derived rules. Subsequent ch
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Mathematical Logic (Dover Books on MaTHEMA 1.4tics)
Stock Image
Mathematical Logic (Dover Books on Mathematics)
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00093296258
Seller Image
Mathematical Logic (Dover Books on Mathematics)
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. Seller Inventory # BSM.W0EH
Stock Image
Mathematical Logic
Published by
Dover Publications, Inc., Mineola, New York, 1967
ISBN 10: 0486425339
ISBN 13: 9780486425337
Used
Paperback
Seller: Mount Angel Abbey Library, St. Benedict, OR, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good+. Clean cover and text. Partial contents: Linguistic Considerations: Formulas; Model Theory: Truth Tables, Validity; The Predicate Calculus. --- We are a Benedictine Abbey and Seminary library; thank you for your support. Seller Inventory # 025316
Seller Image
Mathematical Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 689573-n
Stock Image
Mathematical Logic Format: Paperback
Seller: INDOO, Avenel, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New. Seller Inventory # 9780486425337
Seller Image
Mathematical Logic (Paperback or Softback)
Published by
Dover Publications 12/18/2002, 2002
ISBN 10: 0486425339
ISBN 13: 9780486425337
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Mathematical Logic. Book. Seller Inventory # BBS-9780486425337
Seller Image
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 # 689573
Stock Image
Mathematical Logic (Dover Books on Mathematics)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780486425337
Stock Image
Mathematical Logic (Paperback)
Published by
Dover Publications Inc., New York, 2003
ISBN 10: 0486425339
ISBN 13: 9780486425337
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules.The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index. Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780486425337
Seller Image
Mathematical Logic
Published by
Dover Publications Inc., US, 2003
ISBN 10: 0486425339
ISBN 13: 9780486425337
New
Paperback
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: New. Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition. Seller Inventory # LU-9780486425337