Provability, Computability and Reflection (Volume 81) (Studies in Logic and the Foundations of Mathematics, Volume 81)

Beklemishev, Lev D.

ISBN 10: 0444104925 / ISBN 13: 9780444104922

Published by Elsevier Science Ltd, 2000

About this Item

Stains to cover, page edges, and/or pages inside. Please see the condition note after this for details, if this is missing please consider Acceptable to mean poor quality that could include major staining, water damage, writing, missing dustjacket, etc etc. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only.

Seller Inventory # mon0000021343

Bibliographic Details

• Title: Provability, Computability and Reflection (Volume 81) (Studies in Logic and the Foundations of Mathematics, Volume 81)
• Publisher: Elsevier Science Ltd
• Publication Date: 2000
• Language: English
• ISBN 10: 0444104925
• ISBN 13: 9780444104922
• Binding: hardcover
• Condition: Acceptable
• Dust Jacket Condition: Dust Jacket Included

About this title

Synopsis

This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition.