1 books for « quine willard orman v... »Edit

Sort by

‎"QUINE, WILLARD ORMAN VAN (+) S. C. KLEENE.‎

Reference : 44914

(1937)

‎[QUINE:] Completeness of the Propositional Calculus (+) On the Theory of Types (+) [KLEENE:] On Notation for Ordinal Numbers.‎

‎(Wisconsin), The Association for Symbolic Logic, 1937. Lex8vo. Original printed wrappers, no backstrip. In ""The Journal of Symbolic Logic, Volume 3, 1938."" Entire issue offered. Internally very fine and clean. [Quine:] Pp. 37-40"" Pp. 125-39. [Entire issue: IV, 212 pp.].‎


‎First printing of these papers which include Kleene's milestone paper in which Kleene's O (Ordial numbers), a recursive function, is introduced. In set theory and computability theory, Kleene's is a canonical subset of the natural numbers when regarded as ordinal notations.""In the seventeenth century, Leibniz envisaged a universal language that would allow one to reduce mathematical proofs to simple computations. Then, during the nineteenth century, llgicians such as Charles Babbage, Boole, Frege and Peano tried to formalize mathematical reasoning by an ""algebraization"" of logic. Finally, [...] Gödel, Church and Stephen Kleene introduced the notion of recursive functions. (The Princeston Companion to Mathematics. P. 111).‎

Logo ILAB

Phone number : +45 33 155 335

DKK4,200.00 (€563.31 )
Get it on Google Play Get it on AppStore
Search - quine willard orman v...
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 !