Home Advanced Search

Advanced Search - Page 1

Memoirs of a Proof Theorist: Gödel and Other Logicians
  • DJVU
  • English
  • Year: 2003
  • Author: Gaisi Takeuti, Nicholas Passell, Mariko Yasugi
Memoirs of a proof theorist: Goedel and other logicians
  • DJVU
  • English
  • Year: 2003
  • Author: Gaisi Takeuti, Nicholas Passell, Mariko Yasugi
Memoirs of a Proof Theorist: Gödel and Other Logicians
  • PDF
  • English
  • Year: 2003
  • Author: Gaisi Takeuti, Nicholas Passell, Mariko Yasugi
Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)
  • DJVU
  • English
  • Year: 1987
  • Author: Takeuti, Gaisi
Two Applications of Logic to Mathematics
  • DJVU
  • English
  • Year: 1978
  • Author: Gaisi Takeuti
Two Applications of Logic to Mathematics
  • PDF
  • English
  • Year: 2015
  • Author: Gaisi Takeuti
Proof Theory
  • EPUB
  • English
  • Year: 2013
  • Author: Gaisi Takeuti
Proof theory
  • DJVU
  • English
  • Year: 1987
  • Author: Gaisi Takeuti
Proof Theory
  • DJVU
  • English
  • Year: 1975
  • Author: Gaisi Takeuti
Proof Theory
  • PDF
  • English
  • Year: 1975
  • Author: Gaisi Takeuti
search