Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521068428 ISBN 13: 9780521068420
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Language: English
Published by Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521068428 ISBN 13: 9780521068420
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New.
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521068428 ISBN 13: 9780521068420
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 49.79
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521068428 ISBN 13: 9780521068420
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
First Edition
Condition: New. A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs. Num Pages: 276 pages, black & white illustrations. BIC Classification: HPL; PBCD; PDA. Category: (P) Professional & Vocational. Dimension: 155 x 229 x 18. Weight in Grams: 41. . 2008. 1st Edition. paperback. . . . .
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521068428 ISBN 13: 9780521068420
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs. Num Pages: 276 pages, black & white illustrations. BIC Classification: HPL; PBCD; PDA. Category: (P) Professional & Vocational. Dimension: 155 x 229 x 18. Weight in Grams: 41. . 2008. 1st Edition. paperback. . . . . Books ship from the US and Ireland.
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 100.99
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 100.98
Quantity: Over 20 available
Add to basketCondition: New.
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
First Edition
Condition: New. A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs. Num Pages: 276 pages, black & white illustrations. BIC Classification: HPL; PBCD; PDA. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 17. Weight in Grams: 599. . 2001. 1st Edition. hardcover. . . . .
Language: English
Published by Cambridge University Press CUP, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 276.
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs. Num Pages: 276 pages, black & white illustrations. BIC Classification: HPL; PBCD; PDA. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 17. Weight in Grams: 599. . 2001. 1st Edition. hardcover. . . . . Books ship from the US and Ireland.
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 138.99
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, Cambridge, 2008
ISBN 10: 0521068428 ISBN 13: 9780521068420
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
First Edition Print on Demand
Paperback. Condition: new. Paperback. 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 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 1st edition. 257 pages. 9.00x6.00x0.75 inches. In Stock. This item is printed on demand.
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521068428 ISBN 13: 9780521068420
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
£ 51.35
Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521068428 ISBN 13: 9780521068420
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 276 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
Language: English
Published by Cambridge University Press CUP, 2008
ISBN 10: 0521068428 ISBN 13: 9780521068420
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. Print on Demand pp. 276.
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521068428 ISBN 13: 9780521068420
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 276.
Language: English
Published by Cambridge University Press, Cambridge, 2008
ISBN 10: 0521068428 ISBN 13: 9780521068420
Seller: CitiRetail, Stevenage, United Kingdom
First Edition Print on Demand
Paperback. Condition: new. Paperback. 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 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521068428 ISBN 13: 9780521068420
Seller: moluna, Greven, Germany
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.
Language: English
Published by Cambridge University Press, Cambridge, 2008
ISBN 10: 0521068428 ISBN 13: 9780521068420
Seller: AussieBookSeller, Truganina, VIC, Australia
First Edition Print on Demand
Paperback. Condition: new. Paperback. 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 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. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Language: English
Published by Cambridge University Press, Cambridge, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
First Edition Print on Demand
Hardcover. Condition: new. Hardcover. 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 new 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 studies the general structure and properties of logical and mathematical proofs. This book is both an 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 1st edition. 257 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand.
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
£ 113.91
Quantity: Over 20 available
Add to basketHardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Language: English
Published by Cambridge University Press, Cambridge, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: CitiRetail, Stevenage, United Kingdom
First Edition Print on Demand
Hardcover. Condition: new. Hardcover. 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 new 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 studies the general structure and properties of logical and mathematical proofs. This book is both an 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Language: English
Published by Cambridge University Press, 2001
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 276 14:B&W 6 x 9 in or 229 x 152 mm Case Laminate on White w/Gloss Lam.
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 0521793076 ISBN 13: 9780521793070
Seller: moluna, Greven, Germany
Gebunden. 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.