Structural Proof Theory by Sara Negri
US $54.65
Condition:
Brand New
A new, unread, unused book in perfect condition with no missing or damaged pages. See the seller’s listing for full details.
2 available
- Buy It NowStructural Proof Theory by Sara Negri
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free Economy Shipping from outside US.
International shipment of items may be subject to customs processing and additional charges.
Located in: Hillsdale, NSW, Australia
Delivery:
Estimated between Wed, May 21 and Thu, Jun 26 to 43230
This item has an extended handling time and a delivery estimate greater than 5 business days.
Please allow additional time if international delivery is subject to customs processing.
Returns:
60 days returns. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Payments:
Special financing available. See terms and apply now- for PayPal Credit, opens in a new window or tab
Earn up to 5x points when you use your eBay Mastercard®. Learn moreabout earning points with eBay Mastercard
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:156955883339
Item specifics
- Condition
- EAN
- 9780521068420
- UPC
- 9780521068420
- ISBN
- 9780521068420
- MPN
- N/A
- Book Title
- Structural Proof Theory by Sara Negri
- Subject Area
- Mathematics, Science
- Publication Name
- Structural Proof Theory
- Publisher
- Cambridge University Press
- Item Length
- 9 in
- Subject
- Philosophy & Social Aspects, Logic
- Publication Year
- 2008
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Height
- 0.6 in
- Item Weight
- 14.5 Oz
- Item Width
- 6 in
- Number of Pages
- 276 Pages
About this product
Product Identifiers
Publisher
Cambridge University Press
ISBN-10
0521068428
ISBN-13
9780521068420
eBay Product ID (ePID)
66902478
Product Key Features
Number of Pages
276 Pages
Publication Name
Structural Proof Theory
Language
English
Subject
Philosophy & Social Aspects, Logic
Publication Year
2008
Type
Textbook
Subject Area
Mathematics, Science
Format
Trade Paperback
Dimensions
Item Height
0.6 in
Item Weight
14.5 Oz
Item Length
9 in
Item Width
6 in
Additional Product Features
Intended Audience
Scholarly & Professional
Dewey Edition
21
Reviews
"....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
Illustrated
Yes
Dewey Decimal
511.3
Table Of Content
Introduction; 1. From natural deduction to sequent calculus; 2. Sequent calculus for institutionistic logic; 3. Sequent calculus for classical logic; 4. The quantifiers; 5. Variants of sequent calculi; 6. Structural proof analysis of axiomatic theories; 7. Intermediate logical systems; 8. Back to natural deduction; Conclusion: diversity and unity in structural proof theory; Appendix A. Simple type theory and categorical grammar; Appendix B. Proof theory and constructive type theory; Appendix C. A proof editor for sequent calculus.
Synopsis
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. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated., 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., 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 a downloadable computer program for developing proofs interactively.
LC Classification Number
QA9.54 .N44 2001
Item description from the seller
Popular categories from this store
Seller feedback (7,879)
- z***s (2508)- Feedback left by buyer.Past 6 monthsVerified purchaseThe item was spot-on, even better than the photos, and arrived in perfect condition. The packaging was highly professional, which is why the item came in superb, pristine condition. The seller was excellent with their communication, and I could not have been happier. I WILL buy from them again!Rockin Australia by James Anfuso (#156490333182)
- l***l (1536)- Feedback left by buyer.Past 6 monthsVerified purchaseGreat Seller! Excellent communication! Paperback was well-packed. Shipment via USPS went flawlessly.
- p***s (2483)- Feedback left by buyer.Past yearVerified purchaseGreat item at a great price: Seller prepped, packed and shipped expertly and with lightning speed! Item arrived exactly as described; AN OVERALL EXCELLENT TRANSACTION! Thanks Seller!!!!BERLIN TP BOOK 03 CITY OF LIGHT (MR) by Lutes, Jason (#156333981582)
More to explore :
- Fiction Books & Sara Shepard Fiction,
- Fiction Books & Sara Paretsky Fiction,
- Sara Paretsky Fiction & Signed Fiction Books,
- Sara Paretsky Fiction Poetry Fiction & Books,
- Fiction Books & Sara Paretsky Fiction in Spanish,
- Sara Paretsky It Fiction Fiction & Nonfiction Books,
- Fiction Books & Sara Shepard Fiction Ex-Library,
- Theory and Practice of Counseling and Psychotherapy,
- Uncorrected Proof Fiction & Books,
- Sara Paretsky Hardcover Illustrated Fiction Large Print Books
Popular categories from this store
Seller feedback (7,879)
- z***s (2508)- Feedback left by buyer.Past 6 monthsVerified purchaseThe item was spot-on, even better than the photos, and arrived in perfect condition. The packaging was highly professional, which is why the item came in superb, pristine condition. The seller was excellent with their communication, and I could not have been happier. I WILL buy from them again!Rockin Australia by James Anfuso (#156490333182)
- l***l (1536)- Feedback left by buyer.Past 6 monthsVerified purchaseGreat Seller! Excellent communication! Paperback was well-packed. Shipment via USPS went flawlessly.
- p***s (2483)- Feedback left by buyer.Past yearVerified purchaseGreat item at a great price: Seller prepped, packed and shipped expertly and with lightning speed! Item arrived exactly as described; AN OVERALL EXCELLENT TRANSACTION! Thanks Seller!!!!BERLIN TP BOOK 03 CITY OF LIGHT (MR) by Lutes, Jason (#156333981582)