Items related to Proof Analysis: A Contribution To Hilbert's Last...
This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians.
"synopsis" may belong to another edition of this title.
Book Description:
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 logic.
About the Author:
Sara Negri is Docent of Logic at the University of Helsinki. She is the author of Structural Proof Theory (Cambridge University Press, 2001, with Jan von Plato) and she has also written several research papers on mathematical and philosophical logic.
Jan von Plato is Professor of Philosophy at the University of Helsinki. He is the author of Creating Modern Probability (Cambridge University Press, 1994), the co-author (with Sara Negri) of Structural Proof Theory (Cambridge University Press, 2001) and has written several papers on logic and epistemology.
Jan von Plato is Professor of Philosophy at the University of Helsinki. He is the author of Creating Modern Probability (Cambridge University Press, 1994), the co-author (with Sara Negri) of Structural Proof Theory (Cambridge University Press, 2001) and has written several papers on logic and epistemology.
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date2014
- ISBN 10 1107417236
- ISBN 13 9781107417236
- BindingPaperback
- Number of pages278
Buy New
Learn more about this copy
US$ 48.70
Shipping:
US$ 12.77
From United Kingdom to U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Proof Analysis: A Contribution to Hilbert's Last Problem
Published by
Cambridge University Press
(2014)
ISBN 10: 1107417236
ISBN 13: 9781107417236
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9781107417236_lsuk
Buy New
US$ 48.70
Convert currency
Stock Image
Proof Analysis: A Contribution To Hilbert's Last Problem
Published by
Cambridge University Press
(2014)
ISBN 10: 1107417236
ISBN 13: 9781107417236
New
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. Buy with confidence! Book is in new, never-used condition 1.25. Seller Inventory # bk1107417236xvz189zvxnew
Buy New
US$ 63.97
Convert currency
Stock Image
Proof Analysis: A Contribution To Hilbert's Last Problem
Published by
Cambridge University Press
(2014)
ISBN 10: 1107417236
ISBN 13: 9781107417236
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # I-9781107417236
Buy New
US$ 64.00
Convert currency
Stock Image
Proof Analysis: A Contribution to Hilbert's Last Problem
Published by
Cambridge University Press 2014-12
(2014)
ISBN 10: 1107417236
ISBN 13: 9781107417236
New
PF
Quantity: 10
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9781107417236
Buy New
US$ 44.90
Convert currency
Stock Image
Proof Analysis: A Contribution to Hilbert's Last Problem [Paperback] Negri, Sara and von Plato, Jan
Published by
Cambridge University Press
(2014)
ISBN 10: 1107417236
ISBN 13: 9781107417236
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: new. Questo è un articolo print on demand. Seller Inventory # f78d83e3170f4c10a986296d24729d24
Buy New
US$ 54.25
Convert currency
Stock Image
Proof Analysis: A Contribution to Hilbert's Last Problem
Published by
Cambridge University Press
(2014)
ISBN 10: 1107417236
ISBN 13: 9781107417236
New
Paperback / softback
Quantity: > 20
Seller:
Rating
Book Description Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9781107417236
Buy New
US$ 55.85
Convert currency
Stock Image
Proof Analysis: A Contribution to Hilbert's Last Problem
Published by
Cambridge University Press
(2014)
ISBN 10: 1107417236
ISBN 13: 9781107417236
New
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: Brand New. reprint edition. 265 pages. 9.50x6.75x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __1107417236
Buy New
US$ 57.39
Convert currency
Seller Image
Proof Analysis : A Contribution to Hilbert's Last Problem
Published by
Cambridge University Press
(2014)
ISBN 10: 1107417236
ISBN 13: 9781107417236
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians. Seller Inventory # 9781107417236
Buy New
US$ 80.05
Convert currency
Seller Image
Proof Analysis
Published by
KNV Besorgung
(2014)
ISBN 10: 1107417236
ISBN 13: 9781107417236
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description 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. Seller Inventory # 447218112
Buy New
US$ 64.18
Convert currency