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.
"synopsis" may belong to another edition of this title.
Shipping:
US$ 4.50
Within U.S.A.
Seller: Tacoma Book Center, Tacoma, WA, U.S.A.
Hardcover. Condition: Fair. Dust Jacket Condition: No Dustjacket. Later Edition. ISBN 0471490334. Hardback. No dustjacket. First corrected printing of 1968. Tight sound copy with average wear overall, but pretty much a tight sound reading copy only due to some underlining to the interior text. A nice tight sound reading copy only. No Signature. Seller Inventory # 222958
Quantity: 1 available
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.58. Seller Inventory # G0471490334I3N00
Quantity: 1 available
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Hardcover. Condition: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.58. Seller Inventory # G0471490334I3N01
Quantity: 1 available
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # 17541515-20
Quantity: 1 available
Seller: Great Matter Books, Grand Rapids, MI, U.S.A.
Hardcover. Condition: Very Good. No Jacket. Very Good condition hardcover book, no dust jacket as issued. Slight shelf wear, very slight smudging and bumping to covers and edges. Very slight toning and smudging to text block edges, stamp on bottom. Scattered pencil marginalia throughout. All books are individually inspected and described. Never X-Library unless specifically described as such. Seller Inventory # 2501-9485
Quantity: 1 available
Seller: ThriftBooksVintage, Tukwila, WA, U.S.A.
Hardcover. Condition: Good. No Jacket. Dust jacket missing. Shelf and handling wear to cover and binding, with general signs of previous use. Wear commensurate with age and use. Former owner's name in ink on front inside board, otherwise clean and unmarked copy. Secure packaging for safe delivery. 1.58. Seller Inventory # 1035451343
Quantity: 1 available
Seller: ANTIQUARIAT Franke BRUDDENBOOKS, Lübeck, Germany
Gebundene Ausgabe, Gr.8°. Condition: Gut. 398 S. Das Buch ist in gutem, sauberen Zustand. Einband minimal berieben / fleckig. Ecken und Kanten leicht bestossen. Sonst sauberes und wohlerhaltenes Exemplar. ISBN: 9780471490333 Wir senden umgehend mit beiliegender MwSt.Rechnung. Sprache: Englisch Gewicht in Gramm: 635. Seller Inventory # 669655
Quantity: 1 available
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0471490334
Quantity: 1 available