Items related to Mathematical Logic (Dover Books on MaTHEMA 1.4tics)
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.
Search results for Mathematical Logic (Dover Books on MaTHEMA 1.4tics)
Seller Image
Mathematical Logic
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 689573-n
Quantity: Over 20 available
Seller Image
Mathematical Logic (Paperback)
Published by
Dover Publications Inc., New York, 2003
ISBN 10: 0486425339
ISBN 13: 9780486425337
New
Paperback
Seller: CitiRetail, Stevenage, United Kingdom
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 our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780486425337
Quantity: 1 available
Stock Image
Mathematical Logic
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. New copy - Usually dispatched within 4 working days. 640. Seller Inventory # B9780486425337
Quantity: 17 available
Stock Image
MATHEMATICAL LOGIC
Seller: Speedyhen, London, United Kingdom
Seller rating 5 out of 5 stars
Condition: NEW. Seller Inventory # NW9780486425337
Quantity: 2 available
Stock Image
Mathematical Logic (Dover Books on Mathematics)
Published by
Dover Publications Inc. 2003-03-28, 2003
ISBN 10: 0486425339
ISBN 13: 9780486425337
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-ING-9780486425337
Quantity: 20 available
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
Quantity: 1 available
Stock Image
Mathematical Logic
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # S1-9780486425337
Quantity: 14 available
Stock Image
Mathematical Logic
Print on DemandSeller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 640. Seller Inventory # C9780486425337
Quantity: Over 20 available
Stock Image
Mathematical Logic (Dover Books on Mathematics)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780486425337_new
Quantity: 19 available
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 0.97. Book. Seller Inventory # BBS-9780486425337
Quantity: 5 available