Robinson raphael m (16 Ergebnisse)

Zustand: good. Gently used with minimal wear on the corners and cover. A few pages may contain light highlighting or writing, but the text remains fully legible. Dust jacket may be missing, and supplemental materials like CDs or codes may not be included. May be ex-library with library markings. Ships promptly. …

Zustand: New. &Uumlber den AutorPolish mathematician Alfred Tarski (1901-83) ranks among the greatest logicians of all time. Best known for his work on model theory, meta mathematics, and algebraic logic, he contributed to many other fields of mathem.

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

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

Zustand: New.

Zustand: New. In English.

Zustand: NEW.

Zustand: New. 2024. 1st Edition. paperback. . . . . . Books ship from the US and Ireland.

Paperback. Zustand: Brand New. 272 pages. 10.00x7.00x10.00 inches. In Stock.

Zustand: New. Susan M Hester is deputy CEO of the Centre of Excellence for Biosecurity Risk Analysis (CEBRA) at the University of Melbourne, and Associate Professor the UNE Business School at the University of New England. She has a PhD in Agricultural Economic.

Zustand: New.

Zustand: New. In English.

Hardcover. Zustand: Brand New. 272 pages. 10.00x7.00x10.00 inches. In Stock.

Hardcover. Zustand: Near Fine. Zustand des Schutzumschlags: Very Good. First Edition. 97pp. Yellow boards, orange and black lettering on the front panel. Bumped corner,otherwise like new. Unclipped jacket has bumped corner, otherwise a near fine copy. "This book is well known for its proof that many mathematical systems - including lattice theory and closure algebras - are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups." Size: Octavo. Book.…

Hardcover. Zustand: Near Fine. Very Good or better. First edition. Slim 8vo. [5], viii-xi, [3], 3-98, [2] pp. Flexible paper-covered boards replicating the design on the front panel and spine panel of the dust jacket (but omitting the list of series title on the rear panel). Edited by L. E. J. Brouwer, E. W. Beth, and A. Heyting. Several publishers advertisements and publisher's postcards laid in. Part of the long-running Studies in Logic and the Foundations of Mathematics series, and one of the earliest volumes in the series. Risse, Logica II, 271; Slater 918. Tarski is undeniably one of the greatest logicians in history and made significant groundbreaking contributions in mathematics and logic during the the twentieth century. An attractive copy of this book collecting a number of early and important undecidability results demonstrating both the direct and indirect methods of proving a theory is undecidable and providing elegant and powerful general methods for establishing these kinds of results. Dust jacket with toning to the spine panel and a few traces of wear to the extremities. …

Robinson, Raphael M. (1911-91). Minsky's small universal Turing machine. Offprint from International Journal of Mathematics 2 (1991). 551-562pp. 248 x 160 mm. Without wrappers as issued. Very good. First Edition, Offprint Issue. Robinson, a professor of mathematics at UC Berkeley, did major work on the foundations of mathematics. In the present paper, one of Robinson's last publications, he discussed Minsky's 4-symbol 7-state Turing machine, which Minsky constructed in 1962. "This paper contains everything that is needed for an understanding of [Minsky's] machine, including a complete description of its operation. Minsky's machine remains one of the minimal known Turing machines. That is, there is no known such machine which decreases one parameter without increasing the other" (p. 551). From the library of Martin Davis. .…