Write to the booksellers2 books for « henkin leon »Edit
-
Topics
Mathematics (1)
Philosophy (1)
The Completeness of the First-Order Functional Calculus. - [THE HENKIN'S COMPLETENESS PROOF]
(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.
The Theory of Models. Proceedings of the 1963 International Symposium at Berkeley.
Amsterdam, London, North-Holland, (1970). Lex8vo. Orig. full cloth. XV,494 pp.
