‎"HENKIN, LEON.‎
‎The Completeness of the First-Order Functional Calculus. - [THE HENKIN'S COMPLETENESS PROOF]‎

From same author ... All books of this bookseller
PDF

‎(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.).‎

Reference : 49022

‎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.‎

€160.95 (€160.95 )
Herman H. J. Lynge & Son
Bookseller's contact details

Herman H. J. Lynge & Son
William Schneider
Silkegade 11
1113 Copenhagen
Denmark

herman@lynge.com

+45 33 155 335

Contact bookseller

Payment mode
Cheque
Transfer
Others
Sale conditions

All items may be returned for a full refund for any reason within 14 days of receipt.

Contact bookseller about this book

Enter these characters to validate your form.
*
Send
Go to top
Get it on Google Play Get it on AppStore
The item was added to your cart
You have just added :

-

There are/is 0 item(s) in your cart.
Total : €0.00
(without shipping fees)
What can I do with a user account ?

What can I do with a user account ?

  • All your searches are memorised in your history which allows you to find and redo anterior searches.
  • You may manage a list of your favourite, regular searches.
  • Your preferences (language, search parameters, etc.) are memorised.
  • You may send your search results on your e-mail address without having to fill in each time you need it.
  • Get in touch with booksellers, order books and see previous orders.
  • Publish Events related to books.

And much more that you will discover browsing Livre Rare Book !