9780691638379 | Princeton Univ Pr, April 19, 2016, cover price $74.95 | About this edition: Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis.

9780030085871, titled "Espanol En Espanol" | Harcourt College Pub, January 1, 1996, cover price $98.95 | also contains Espanol En Espanol

9780691082127 | Princeton Univ Pr, August 1, 1978, cover price $35.00 | About this edition: Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis.

9780691610221 | Princeton Univ Pr, March 8, 2015, cover price $29.95 | About this edition: Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis.

9780444879431 | 2 rev sub edition (Elsevier Science Ltd, April 1, 1987), cover price $275.00

9780486490731 | 2 edition (Dover Pubns, February 20, 2013), cover price $24.95

9789812382795 | Revised edition (World Scientific Pub Co Inc, April 1, 2003), cover price $70.00 | About this edition: The tests will help familiarise students with the format and requirements of the Reading and Writing/Listening and Speaking papers.

9780387111612 | Springer Verlag, November 1, 1981, cover price $24.00