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)
Seller Image
Mathematical Logic (Dover Books on Mathematics)
Seller: Upward Bound Books, VALRICO, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. Gently used with light wear to the cover, corners, or spine. Pages are clean and free of writing or highlighting. Binding is tight and fully intact. Dust jacket included with hardcover books. Ships fast in a protective poly mailerâ"Monday through Friday, excluding weekends and holidays. Seller Inventory # UBV.0486425339.G
Stock Image
Mathematical Logic Dover Books
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Item in good condition and has highlighting/writing on text. Used texts may not contain supplemental items such as CDs, info-trac etc. Seller Inventory # 00092081909
Stock Image
Mathematical Logic (Dover Books on MaTHEMA 1.4tics)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Hardback. 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 # GOR008078122
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 (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