Tarski editors (5 resultados)
Editorial: NORTH HOLLAND, 1965
- Tapa dura
- Primera edición
Librería: Reader's Corner, Inc., Raleigh, NC, Estados Unidos de AmericaReader's Corner, Inc.
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 22,51
Envío por EUR 4,90Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoHardcover. Condición: Very Good. No Jacket. 1st Edition. This is a VG hardcover first edition copy in yellow cloth binding, no DJ. A Desk Copy from the Department of Mathematics at NCSU. 494 PAGES.
Editorial: Stanford University Press, Stanford, CA, 1962
- Tapa dura
Librería: J. Wyatt Books, Ottawa, ON, CanadaJ. Wyatt Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 47,53
Envío por EUR 20,51Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoHardcover. Condición: VG+. Estado de la sobrecubierta: Good-. 661 pages in very good, clean condition. Brown cloth with black titles on the spine. Light wear on corners, head of spine. Green DJ with white titles. Small tears and chips on the corners and edges. Jacket scuffed and creased. Binding good and tight. VG+/GOOD-. Book.…
The Journal Of Symbolic Logic. Volume 4 Number 1. March 1939 [With Rozsa Peter's Review Of Gerhard Gentzeen's "Neue Fassung Des Widerspruchsfreiheitsbeweises Fur Die Reine Zahlentheorie"]
Church, Alonzo, And C. H. Langford (Editors); Paul Bernays, Paul Henle, S. C. Kleene, Suzanne K. Langer, Saunders Mac Lane, Ernest Nagel, Everett J. Nelson, Rozsa Peter, W. V. Quine, Barkley Rosser, Alfred Tarski (Consulting Editios:Jozef Pepis And C. West Churchman (Articles0
Idioma: Inglés
Editorial: Association for Symbolic Logic, Menasha / Ann Arbor, 1939
- Tapa blanda
- Primera edición
- Revista/Periódico
Librería: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, Estados Unidos de AmericaArroyo Seco Books, Pasadena, Member IOBA
Contactar con el vendedorVendedor de 4 estrellasMiembro de asociación: IOBA
Condición: Usado - Muy bueno
EUR 173,97
Envío por EUR 8,03Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoGrey 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.…
The Journal Of Symbolic Logic. Volume 3 Number 2. June 1938 [With Rozsa Peter's Review Of Alan Turing's "Computability And L-Deiniability)
Church, Alonzo,And C. H. Langford (Editors); Paul Bernays, Paul Henle, S. C. Kleene, Suzanne K. Langer, Ernest Nagel, Everett J. Nelson, Rozsa Peter, W. V. Quine, Barkley Rosser, Alfred Tarski (Consulting Editios:Jozef Pepis And C. West Churchman (Articles0
Idioma: Inglés
Editorial: Association for Symbolic Logic, Menasha / Ann Arbor, 1938
- Tapa blanda
- Primera edición
- Revista/Periódico
Librería: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, Estados Unidos de AmericaArroyo Seco Books, Pasadena, Member IOBA
Contactar con el vendedorVendedor de 4 estrellasMiembro de asociación: IOBA
Condición: Usado - Muy bueno
EUR 598,91
Envío por EUR 8,03Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoGrey 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.…
Más imágenesEditorial: North-Holland Publishing Company, 1965
- Tapa dura
Librería: Before Your Quiet Eyes, Rochester, NY, Estados Unidos de AmericaBefore Your Quiet Eyes
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Aceptable
EUR 2296,28
Envío por EUR 3,12Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoHardcover. Condición: Good. This 494 page 6 3/8 by 9 inch hard cover with yellow boards and a black and gold label on the spine has soiled boards. Internally, other than a previous owner's name in in ink on the front paste down, the book is clean, bright, without highlighting, underlining, marginalia, or other pencil, pen markings. The frontispiece image of Thorlaf Skolem is present. …