Proof Theory by K., Crossley, J.N. Schutte ISBN 13: 9783540079118

US: Springer, 1977. Ex-Lib. Hardcover. Very Good-/None. Grundlehren der mathematischen Wissenschaften Series Yellow cloth boards, toned and lightly soiled from fingerprints. Page edges stamped by university library. End papers similarly stamped. Text is unmarked. Rear pastedown has adhesive residue, and rear ffep has scar where pocket removed. Binding is sound. 8vo. BOOK INFO: See photos for Table of Contents. This book was originally intended to be the second edition of the book Beweistheorie (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960), but in fact has been completely rewritten. As well as classical predicate logic we also treat intuitionistic predicate logic. The sentential calculus properties of classical formal and semiformal systems are treated using positive and negative parts of formulas as in the book Beweistheorie. In a similar way we use right and left parts of formulas for intuitionistic predicate logic. We introduce the theory of functionals of finite types… Read More

Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1977. Hardcover. Good. Former library book. Signs of wear on the cover. Slightly creased cover. Slightly torn cover. Stains on the edge. Edition 1977. Ammareal gives back up to 15% of this item's net price to charity organizations.