Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by College Publications, 2022
ISBN 10: 184890407XISBN 13: 9781848904071
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by College Publications, 2022
ISBN 10: 184890407XISBN 13: 9781848904071
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: New. Book is in NEW condition. 0.49.
Published by College Publications 12/1/2022, 2022
ISBN 10: 184890407XISBN 13: 9781848904071
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Book
Paperback or Softback. Condition: New. Investigations into the Predicate Calculus 0.45. Book.
Published by College Publications, 2022
ISBN 10: 184890407XISBN 13: 9781848904071
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by College Publications, 2022
ISBN 10: 184890407XISBN 13: 9781848904071
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Book Print on Demand
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by College Publications, 2022
ISBN 10: 184890407XISBN 13: 9781848904071
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by College Publications, 2022
ISBN 10: 184890407XISBN 13: 9781848904071
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Book Print on Demand
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Published by College Publications, 2022
ISBN 10: 184890407XISBN 13: 9781848904071
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by College Publications, 2022
ISBN 10: 184890407XISBN 13: 9781848904071
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Cambridge University Press, 2014
ISBN 10: 1107417236ISBN 13: 9781107417236
Seller: HPB-Red, Dallas, TX, U.S.A.
Book
paperback. Condition: Very Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or limited writing/highlighting. We ship orders daily and Customer Service is our top priority!.
Published by College Publications, 2022
ISBN 10: 184890407XISBN 13: 9781848904071
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Book Print on Demand
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by Cambridge University Press, 2008
ISBN 10: 0521068428ISBN 13: 9780521068420
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Cambridge University Press, 2008
ISBN 10: 0521068428ISBN 13: 9780521068420
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Cambridge University Press, 2008
ISBN 10: 0521068428ISBN 13: 9780521068420
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by College Publications, 2022
ISBN 10: 184890407XISBN 13: 9781848904071
Seller: AussieBookSeller, Truganina, VIC, Australia
Book
Paperback. Condition: new. Paperback. Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard Gentzen ever had. Their encounter took place in 1938--39 in Goettingen, with Ketonen hoping to receive a suitable topic for a doctoral dissertation and Gentzen instead deeply immersed in attempts at proving the consistency of analysis. Ketonen's thesis of 1944, his only work in logic, introduced what is today called the G3-sequent calculus. It is his best-known discovery, a sequent calculus for classical propositional logic the logical rules of which are all invertible. Few read his thesis, the results of which were instead made available through a long review by Paul Bernays. Ketonen's calculus is the basis of Evert Beth's tableau method and of the sequent calculi in Stephen Kleene's influential {\it Introduction to Metamathematics}. A second result was a sharpening of the midsequent theorem, by which the number of quantifier inferences with eigenvariables could be minimized. The existence of a weakest possible midsequent followed, in the sense that if any midsequent is derivable, a weakest one is. Turning this into a contrapositive, Ketonen found a purely syntactic method for proofs of underivability that he applied to affine plane geometry. His result, in modern terms, was a positive solution to the word problem for the universal fragment of plane affine geometry, with a syntactic proof of underivability of the parallel postulate from the rest of the affine axioms as a corollary. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Published by College Publications, 2022
ISBN 10: 184890407XISBN 13: 9781848904071
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Oiva Ketonen (1913--2000) was the closest to a student the creator of modern proof theory Gerhard Gentzen ever had. Their encounter took place in 1938--39 in Göttingen, with Ketonen hoping to receive a suitable topic for a doctoral dissertation and Gentzen instead deeply immersed in attempts at proving the consistency of analysis. Ketonen's thesis of 1944, his only work in logic, introduced what is today called the G3-sequent calculus. It is his best-known discovery, a sequent calculus for classical propositional logic the logical rules of which are all invertible. Few read his thesis, the results of which were instead made available through a long review by Paul Bernays. Ketonen's calculus is the basis of Evert Beth's tableau method and of the sequent calculi in Stephen Kleene's influential {it Introduction to Metamathematics}. A second result was a sharpening of the midsequent theorem, by which the number of quantifier inferences with eigenvariables could be minimized. The existence of a weakest possible midsequent followed, in the sense that if any midsequent is derivable, a weakest one is. Turning this into a contrapositive, Ketonen found a purely syntactic method for proofs of underivability that he applied to affine plane geometry. His result, in modern terms, was a positive solution to the word problem for the universal fragment of plane affine geometry, with a syntactic proof of underivability of the parallel postulate from the rest of the affine axioms as a corollary.
Published by Cambridge University Press, 2008
ISBN 10: 0521068428ISBN 13: 9780521068420
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Cambridge University Press, 2014
ISBN 10: 1107417236ISBN 13: 9781107417236
Seller: Revaluation Books, Exeter, United Kingdom
Book Print on Demand
Paperback. Condition: Brand New. reprint edition. 265 pages. 9.50x6.75x0.75 inches. In Stock. This item is printed on demand.
Published by Cambridge Univ Pr, 2008
ISBN 10: 0521068428ISBN 13: 9780521068420
Seller: Revaluation Books, Exeter, United Kingdom
Book Print on Demand
Paperback. Condition: Brand New. 1st edition. 257 pages. 9.00x6.00x0.75 inches. In Stock. This item is printed on demand.
Published by Cambridge University Press, 2008
ISBN 10: 0521068428ISBN 13: 9780521068420
Seller: Books Unplugged, Amherst, NY, U.S.A.
Book
Condition: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 1.06.
Published by Cambridge University Press, 2008
ISBN 10: 0521068428ISBN 13: 9780521068420
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Cambridge University Press, 2008
ISBN 10: 0521068428ISBN 13: 9780521068420
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: New. Book is in NEW condition. 1.06.
Published by Cambridge University Press, 2008
ISBN 10: 0521068428ISBN 13: 9780521068420
Seller: California Books, Miami, FL, U.S.A.
Book
Condition: New.
Published by Cambridge University Press, 2011
ISBN 10: 1107008956ISBN 13: 9781107008953
Seller: Bowman Books, Wooster, OH, U.S.A.
Book First Edition
Hardcover. Condition: Fine. Dust Jacket Condition: Fine. 1st Edition. Full cloth hardcover binding appears as new with clean unmarked text; the dustjacket is also as new. NOT ex-lib. xi, 265pp. With bibliography and index.
Published by Cambridge University Press CUP, 2011
ISBN 10: 1107008956ISBN 13: 9781107008953
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. xi + 265 Index.
Published by Cambridge University Press, 2011
ISBN 10: 1107008956ISBN 13: 9781107008953
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Hardcover. Condition: new.
Published by Cambridge University Press, 2011
ISBN 10: 1107008956ISBN 13: 9781107008953
Seller: Majestic Books, Hounslow, United Kingdom
Book
Condition: New. pp. xi + 265.
Published by KNV Besorgung, 2014
ISBN 10: 1107417236ISBN 13: 9781107417236
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A continuation of the authors book Structural Proof Theory, one of the basic sources for all students and researchers on logic. Presents a way of extending the proof theory of pure logic to cover mathematical axiomatic theories and systems of philosophical.
Published by Cambridge University Press, 2008
ISBN 10: 0521068428ISBN 13: 9780521068420
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is.
Published by Cambridge University Press, 2001
ISBN 10: 0521793076ISBN 13: 9780521793070
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.