Completeness First Order Functional Calculus by Henkin Leon (1 results)
- Softcover
- First Edition
Seller: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DenmarkHerman H. J. Lynge & Søn ILAB-ABF
Contact seller4-star sellerCondition: Used
£ 142.09
£ 36.09 shippingShips from Denmark to U.S.A.Quantity: 1 available
Add to basket(Wisconsin), The Association for Symbolic Logic, 1949. Lev8vo. Bound in red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic", Volume 14. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. Pp. 159-66. [Entire volume: IV, 284 pp.). First printing of Henkin'…s important paper which his version of the proof of the semantic completeness of standard systems of first-order logic, today known as the "Henkin's completeness proof":Gödel published a version of the proof in 1930 but Henkin's was much easier to survey than Gödel's and has thus become the standard choice of completeness proof for presentation in introductory classes and texts.