Stephen cole kleene (30 Ergebnisse)

Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.

Paperback. Zustand: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Zustand: Very Good. 1968 corrected printing, 398 pp., hardcover, minor internal library markings else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Hardback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Zustand: New. In English.

Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

Paperback. Zustand: Brand New. reprint edition. 416 pages. 8.25x5.50x1.00 inches. In Stock.

Zustand: New. Series: Dover Books on Mathematics. Num Pages: 416 pages, Bibliography, index. BIC Classification: PB. Category: (G) General (US: Trade). Dimension: 213 x 141 x 23. Weight in Grams: 456. . 2002. Paperback. . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Neu. Neuware - Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.…

Paperback. Zustand: Brand New. reprint edition. 572 pages. 8.75x5.75x1.25 inches. In Stock.

Zustand: NEW.

Zustand: New. KlappentextrnrnUndergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the ne.

Hardcover. Zustand: Used-Very Good. 8vo. Cloth, no dj. Dark blue cloth. 550 numbered pp. Minor shelf wear; light rubbing to boards. Previous owner's signature at front. Else fine. A bright, clean copy.

Taschenbuch. Zustand: Neu. Mathematical Logic | Stephen Cole Kleene | Taschenbuch | Kartoniert / Broschiert | Englisch | 2002 | Dover Publications | EAN 9780486425337 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.

Zustand: Good. Envoi rapide proche du très bon état intérieur propre bonne tenue dos un peu ridé. 3x24x17cm. 2000. Broché. Good.

Hardcover. 550 p. Good condition. Reading pages are clean and without markings. Light signs of storage and use. Inscription on the last page. Otherwise a neat copy. 9780720421033 Sprache: Englisch Gewicht in Gramm: 1001.

Zustand: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.

Zustand: gut. 1980. Introduction to Metamathematics (Bibliotheca Mathematica, vol.1) In englischer Sprache. pages.

fester Einband. . Leinen, 550 Seiten, Gr8°. * Text: englisch, Einband abgenützt, Schnitt fleckig, (K59). 1004 gr.

fester Einband. XIII, 398 S., Reg. Ln. *sehr gutes Expl.*. Sprache: Englisch.

Zustand: Very Good. first printing; 550 pp., hardcover, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

OLWd. mit Blinddruckrahmen, am Rücken schwarzes Schildch mit Goldprägung, kein Schutzumschlag, Deckelecken berieben, kleinere Flecken auf dem Schnitt, Seiten nach außen hin leicht ausgeblichen; innen keinerlei Anstreichungen oder Schäden, insgesamt sehr guter Zustand. Book Language/s: English.

cloth, 8vo viii+206 pp. in his intuitionistic analysis, L.E.J. Brouwer created a theory which diverges form classical mathematics and which in its details has not been widely known of understood; this book describes a formal system of intuitionistic analysis; various notuion of realizability; the intuitionistic continuum; very good condition (almost unused).…

Wisconsin, The Association for Symbolic Logic, 1938-39. Lev8vo. Entire volume one of "Journal of Symbolic Logic" (i.e. number 1-4), March 1938, June 1938, October 1938, January 1939. Bound in blue half cloth with gilt lettering to spine. Crossed-out library paper-label to lower part of spine and top left corner of front board. Two library stamps (in Chinese) to verso of title page. Internally a very fine and clean copy of the entire volume. [Kleene:] Pp. 150-55. [Entire volume: IV, 212 pp.]. First printing 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).The volume also contains the following papers of interest:1. Quine, W. V. Completeness of the propositional calculus. Pp. 37-402. Quine, W. V. On the theory of types. Pp. 125-39.3. Church, Alonzo. Additions and corrections to A bibliography of symbolic logic. Pp. 178-92.…

Wisconsin, The Association for Symbolic Logic, 1938-39. Lev8vo. Bound in red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic", Volume 3 & 4 bound together. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. [Kleene:] Pp. 150-55. [Entire volume: 4, 212, (4), 194, (2) pp.]. First printing 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).The volume also contains the following papers of interest:1. Quine, W. V. Completeness of the propositional calculus. Pp. 37-402. Quine, W. V. On the theory of types. Pp. 125-39.3. Church, Alonzo. Additions and corrections to A bibliography of symbolic logic. Pp. 178-92. …

North-Holland 1962, cloth, 550 pp. Volume I in the series: Bibliotheca Mathematica. One small spot on frontcover. Nevertheless good copy. (code Sc-82).