Tipo de artículo
Condición
Encuadernación
Más atributos
Ubicación del vendedor
Valoración de los vendedores
Publicado por Stanford University Press, 1962
Librería: Open Books, Chicago, IL, Estados Unidos de America
Hardcover. Condición: Acceptable. Ex-library book with usual markings. No dust jacket. Text is unmarked. Binding is sound. Open Books is a nonprofit social venture that provides literacy experiences for thousands of readers each year through inspiring programs and creative capitalization of books.
Publicado por Assocation for Symbolic Logic., Netherlands., 1962
Librería: La Nave, Librería Anticuaria., Salamanca, España
Rústica. Condición: BUEN ESTADO. Libro.
Publicado por North-Holland, 1971
ISBN 10: 0444100881ISBN 13: 9780444100887
Librería: Moe's Books, Berkeley, CA, Estados Unidos de America
Libro
Hardcover. Condición: Very good. Some foxing to edges.
Publicado por North Holland, Amsterdam, 1965
Librería: Riverbooks, Suttons Bay, MI, Estados Unidos de America
Libro
Hardcover. Condición: Fine. Estado de la sobrecubierta: Fine. Studies in Logic and the Foundations of Mathematics. Signature of Samuel Skulsky, notable philosopher and meta-physicist, on front paste down. Fine bright cover, interior clean with no underlining, etc.; dust jacket complete and bright. Virtually new with only slightest shelf wear. Condition: fine in fine dust jacket.
MATHÉMATIQUES KLEENE (S. C.).Logique mathématique.Trad. de J. Largeault.P., A. Colin, 1971, gr. in-8°, cart. édit., lég. défr., qq. annot. au crayon. 700 gr.
Publicado por American Mathematical Society, Providence, 1967
Librería: Der Buchfreund, Wien, Austria
Original-Broschüre. Condición: min. Alterssp., g.e. 4 Original-Broschüre 2nd printing with revisions en Mathematics (Memoirs of the American Mathematical Society. N°; 10); 68 pp.
Publicado por North-Holland, 1965
ISBN 10: 0720422302ISBN 13: 9780720422306
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Libro
Condición: Good. viii, 206 pp., hardcover, ex library, lacks the jacket, 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.
Publicado por North Holland, 1980
ISBN 10: 0720421039ISBN 13: 9780720421033
Librería: SecondSale, Montgomery, IL, Estados Unidos de America
Libro
Condición: Good. Good condition ex-library book with usual library markings and stickers.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 104,58
Usado desde EUR 58,61
Encuentre también Tapa dura Original o primera edición
Publicado por Oxford University Press, USA, 1989
ISBN 10: 0195039726ISBN 13: 9780195039726
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Libro
Hardcover. Condición: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.7.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 244,14
Usado desde EUR 64,74
Encuentre también Tapa dura
Publicado por Oxford University Press, Oxford, 2001
ISBN 10: 0195147200ISBN 13: 9780195147209
Librería: Grand Eagle Retail, Wilmington, DE, Estados Unidos de America
Libro Impresión bajo demanda
Paperback. Condición: new. Paperback. Kurt Goedel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Heis less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource thatdraws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Goedel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Goedel's Nachlass. These long-awaited final two volumes contain Goedel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume Vcontains a full inventory of Goedel's Nachlass. All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of materialoriginally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Goedel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Goedel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history ofscience, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century. The initial volume of Godel's works, this book makes available in a single source all his publications from 1929 to 1936. The volume begins with an informative overview of Godel's life and work and features facing English translations for all German originals, extensive explanatory and historical notes, and a complete biography. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Publicado por Association for Symbolic Logic, Menasha / Ann Arbor, 1939
Librería: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, Estados Unidos de America
Miembro de asociación: IOBA
Revista / Publicación Original o primera edición
Grey Wrappers. Condición: Near Fine. First Edition. Volume 4 No 1, 40 Pp. Scarce In This, The Original Publication State Of Gray Printed Wrappers. Near Fine. Contains Rozsa's Review (In German) Of Gerhard Gentzeen's "Neue Fassung Des Widerspruchsfreiheitsbeweises Fur Die Reine Zahlentheorie". Rózsa Péter, Born Rózsa Politzer, (1905 ? 1977) Was A Hungarian Mathematician And Logician. She Is Best Known As The "Founding Mother Of Recursion Theory". Initially, Péter Began Her Graduate Research On Number Theory. Upon Discovering That Her Results Had Already Been Proven By The Work Of Robert Carmichael And L. E. Dickson, She Abandoned Mathematics To Focus On Poetry. However, She Was Convinced To Return To Mathematics By Her Friend László Kalmár, Who Suggested She Research The Work Of Kurt Gödel On The Theory Of Incompleteness.[3] She Prepared Her Own, Different Proofs To Gödel's Work. Péter Presented The Results Of Her Paper On Recursive Theory, "Rekursive Funktionen," To The International Congress Of Mathematicians In Zurich, Switzerland In 1932. For Her Research, She Received Her Phd Summa Cum Laude In 1935. In 1936, She Presented A Paper Entitled "Über Rekursive Funktionen Der Zweiten Stufe" To The International Congress Of Mathematicians In Oslo.[3] These Papers Helped To Found The Modern Field Of Recursive Function Theory As A Separate Area Of Mathematical Research. In 1937, She Was Appointed As Contributing Editor Of The Journal Of Symbolic Logic. After The Passage Of The Jewish Laws Of 1939 In Hungary, Péter Was Forbidden To Teach Because Of Her Jewish Origin And Was Briefly Confined To A Ghetto In Budapest. During World War Ii, She Wrote Her Book Playing With Infinity: Mathematical Explorations And Excursions, A Work For Lay Readers On The Topics Of Number Theory And Logic. In 1952, She Was The First Hungarian Woman To Be Made An Academic Doctor Of Mathematics. After The College Closed In 1955, She Taught At Eötvös Loránd University Until Her Retirement In 1975. She Was A Popular Professor, Known As "Aunt Rózsa" To Her Students. In 1951, She Published Her Key Work, Recursive Functions (Rekursive Funtionen). She Continued To Publish Important Papers On Recursive Theory Throughout Her Life. Beginning In The Mid-1950S, Péter Applied Recursive Function Theory To Computers. Her Final Book, Published In 1976, Was Recursive Functions In Computer Theory. Originally Published In Hungarian, It Was The Second Hungarian Mathematical Book To Be Published In The Soviet Union Because Its Subject Matter Was Considered Indispensable To The Theory Of Computers. It Was Translated Into English In 1981.Péter Was Awarded The Kossuth Prize In 1951. She Received The Manó Beke Prize By The János Bolyai Mathematical Society In 1953, The Silver State Prize In 1970, And The Gold State Prize In 1973. In 1973, She Became The First Woman To Be Elected To The Hungarian Academy Of Sciences.
Librería: Lynge & Søn ILAB-ABF, Copenhagen, Dinamarca
Miembro de asociación: ILAB
Original o primera edición
(No place), The Association for Symbolic Logic, 1944 & 1945. Lev8vo. Bound in red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic", Volume 9 & 10 bound together. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. [Kleene:] Pp. 109-124. [Entire volume: IV, 107, (1), IV, 160 pp.]. First printing of Kleene's important paper constituting one of the very first formal treatments of logic for computability in which he proved that intuitionistic first-order number theory also has the related existence property through an interpretation of intuitionistic number theory in terms of Turing machine computations.
Librería: Lynge & Søn ILAB-ABF, Copenhagen, Dinamarca
Miembro de asociación: ILAB
Original o primera edición
(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).
Publicado por Association for Symbolic Logic, Menasha / Ann Arbor, 1938
Librería: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, Estados Unidos de America
Miembro de asociación: IOBA
Revista / Publicación Original o primera edición
Grey Wrappers. Condición: Near Fine. First Edition. Volume 3 No 3, 96 Pp. Scarce In This, The Original Publication State Of Gray Printed Wrappers. Near Fine. Contains Rozsa's Review (In German) Of Turing's 1937 Article In This Same Journal. Rózsa Péter, Born Rózsa Politzer, (1905 ? 1977) Was A Hungarian Mathematician And Logician. She Is Best Known As The "Founding Mother Of Recursion Theory". Initially, Péter Began Her Graduate Research On Number Theory. Upon Discovering That Her Results Had Already Been Proven By The Work Of Robert Carmichael And L. E. Dickson, She Abandoned Mathematics To Focus On Poetry. However, She Was Convinced To Return To Mathematics By Her Friend László Kalmár, Who Suggested She Research The Work Of Kurt Gödel On The Theory Of Incompleteness. She Prepared Her Own, Different Proofs To Gödel's Work. Péter Presented The Results Of Her Paper On Recursive Theory, "Rekursive Funktionen," To The International Congress Of Mathematicians In Zurich, Switzerland In 1932. For Her Research, She Received Her Phd Summa Cum Laude In 1935. In 1936, She Presented A Paper Entitled "Über Rekursive Funktionen Der Zweiten Stufe" To The International Congress Of Mathematicians In Oslo. These Papers Helped To Found The Modern Field Of Recursive Function Theory As A Separate Area Of Mathematical Research. In 1937, She Was Appointed As Contributing Editor Of The Journal Of Symbolic Logic. After The Passage Of The Jewish Laws Of 1939 In Hungary, Péter Was Forbidden To Teach Because Of Her Jewish Origin And Was Briefly Confined To A Ghetto In Budapest. During World War Ii, She Wrote Her Book Playing With Infinity: Mathematical Explorations And Excursions, A Work For Lay Readers On The Topics Of Number Theory And Logic. In 1952, She Was The First Hungarian Woman To Be Made An Academic Doctor Of Mathematics. After The College Closed In 1955, She Taught At Eötvös Loránd University Until Her Retirement In 1975. She Was A Popular Professor, Known As "Aunt Rózsa" To Her Students. In 1951, She Published Her Key Work, Recursive Functions (Rekursive Funtionen). She Continued To Publish Important Papers On Recursive Theory Throughout Her Life. Beginning In The Mid-1950S, Péter Applied Recursive Function Theory To Computers. Her Final Book, Published In 1976, Was Recursive Functions In Computer Theory. Originally Published In Hungarian, It Was The Second Hungarian Mathematical Book To Be Published In The Soviet Union Because Its Subject Matter Was Considered Indispensable To The Theory Of Computers. It Was Translated Into English In 1981. Péter Was Awarded The Kossuth Prize In 1951. She Received The Manó Beke Prize By The János Bolyai Mathematical Society In 1953, The Silver State Prize In 1970, And The Gold State Prize In 1973. In 1973, She Became The First Woman To Be Elected To The Hungarian Academy Of Sciences.
Librería: Lynge & Søn ILAB-ABF, Copenhagen, Dinamarca
Miembro de asociación: ILAB
Original o primera edición
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.
Librería: Lynge & Søn ILAB-ABF, Copenhagen, Dinamarca
Miembro de asociación: ILAB
Original o primera edición
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.
Publicado por Association For Symbolic Logic 1938 1939 1940 1941 1942 1943 1944 1945 1946 1947 1948, 1949 1950 1951, 1952 1953 1954 1955, 1938
Librería: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, Estados Unidos de America
Miembro de asociación: IOBA
Revista / Publicación Original o primera edición
Grey-blue Wrappers. Condición: Very Good. First Edition. 53 Separate Numbers, 1938-1955, In Original Wrappers, As Issued. Not Ex-Library, Never Bound. Scarce In Original Condition Like This, As Almost All Surviving Issues Were Those Bound For Libraries. Condition Varies From Very Good To Fine. Vol 3 1938 Nos. 1, 3 And 4; Vol. 4 1939 No. 4; Vol 5 1940 Nos 1, 3, 4; Vol 6 1941 Nos. 1, 2, 4; Vol. 7 1942 No. 2; Vol 8 No. 1, 2, And 4; Vol 9 1944 Nos. 2, 3, 4; Vol. 10 1945 Nos 1, 2, 3, 4; Vol 11 1946 Nos. 1,2,3,4; Vol 12, 1947, Nos 1, 2, 3, 4; Vol. 13, 1948, Nos. 1, 3, 4; Vol. 14 1949 No. 2, 4; Vol 15 No. 1, 2, 3, 4; Vol 16 1951, Nos 1, 2, 3, 4; Vol 17, 1952 Nos. 1, 2, 3, 4; Volume 18, 1953, Nos 1,2, 4; Vol 19 1954 Nos 1, 2, 4; Volume 20, 1955, No. 4.