Items related to Structural Proof Theory
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
"synopsis" may belong to another edition of this title.
Review:
"....The book makes significant original contributions while remaining accessible to the logician/philosopher/mathematician who wants to learn elementary proof theory...." Aldo Antonelli, University of California, Irvine
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date2001
- ISBN 10 0521793076
- ISBN 13 9780521793070
- BindingHardcover
- Edition number1
- Number of pages276
- Rating
Buy New
Learn more about this copy
US$ 101.40
Shipping:
US$ 12.77
From United Kingdom to U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Structural Proof Theory
Published by
Cambridge University Press
(2001)
ISBN 10: 0521793076
ISBN 13: 9780521793070
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780521793070_lsuk
Buy New
US$ 101.40
Convert currency
Stock Image
Structural Proof Theory
Published by
Cambridge University Press
(2001)
ISBN 10: 0521793076
ISBN 13: 9780521793070
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Feb2416190015207
Buy New
US$ 120.10
Convert currency
Stock Image
Structural Proof Theory [Hardcover] Negri, Sara
Published by
Cambridge University Press
(2001)
ISBN 10: 0521793076
ISBN 13: 9780521793070
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: new. Questo è un articolo print on demand. Seller Inventory # 511763e6790f71d73224e11603d04cc4
Buy New
US$ 118.98
Convert currency
Stock Image
Structural Proof Theory
Published by
Cambridge University Press
(2001)
ISBN 10: 0521793076
ISBN 13: 9780521793070
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521793070
Buy New
US$ 119.93
Convert currency
Stock Image
Structural Proof Theory
Published by
Cambridge Univ Pr
(2001)
ISBN 10: 0521793076
ISBN 13: 9780521793070
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: Brand New. 1st edition. 257 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __0521793076
Buy New
US$ 130.91
Convert currency
Stock Image
Structural Proof Theory
Published by
Cambridge University Press
(2001)
ISBN 10: 0521793076
ISBN 13: 9780521793070
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # I-9780521793070
Buy New
US$ 148.00
Convert currency
Seller Image
Structural Proof Theory
Published by
Cambridge University Press
(2014)
ISBN 10: 0521793076
ISBN 13: 9780521793070
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description 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. Seller Inventory # 446947387
Buy New
US$ 125.20
Convert currency
Seller Image
Structural Proof Theory
Published by
Cambridge University Press
(2001)
ISBN 10: 0521793076
ISBN 13: 9780521793070
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs. Seller Inventory # 9780521793070
Buy New
US$ 170.79
Convert currency