Amsterdam: North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., Date: 1975. Ex-Library. Hardcover. Very Good-/None. Studies in logic and the foundations of mathematics ; v. 81 Yellow cloth boards with gilt titling on a back band on spine. Page edges are soiled and toned along top, stamped on side. Owner's bookplate partially removed. Adhesive residue on rear pastedown and end paper. Text is unmarked. Bottom pages a bit rippled, but only to page 40 or so. Binding is sound. 8vo. BOOK INFO: Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968. In three parts: First order systems; Second order and finite order systems; Consistency problems. Includes subject index. 1975. North-Holland Pub. Co. ; New York : American Elsevier Pub. Co. ISBN 0444104925 9780444104922 [US]

Elsevier Science. Used - Good. 1975. Cloth, octavo, 372 pp. Ex-library, with the usual faults. Boards are heavily soiled with extensive bumping to corners. Binding is sound and pages generally clean. A Good copy. (Subject: Mathematics & Physics.) Elsevier Science ISBN 0444104925 9780444104922 [US]

UsedVeryGood. Binding is unblemished, text block is clean, boards straight, without highlights or markings. Mild rubbing/chipping to dust wrapper edges. Dust cover has a small tear. Well packaged and promptly shipped from California. Partnered with Friends of the Library since 2010. ISBN 0444104925 9780444104922 [US]