Home Advanced Search

Advanced Search - Page 1

Logic Symposia Hakone 1979, 1980: Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980
  • PDF
  • English
  • Year: 1981
  • Author: Masazumi Hanazawa (auth.), Gert H. Müller, Gaisi Takeuti, Tosiyuki Tugué (eds.)
Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987
  • DJVU
  • English
  • Year: 1989
  • Author: C. T. Chong (auth.), Juichi Shinoda, Tosiyuki Tugué, Theodore A. Slaman (eds.)
Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987
  • PDF
  • English
  • Year: 1989
  • Author: C. T. Chong (auth.), Juichi Shinoda, Tosiyuki Tugué, Theodore A. Slaman (eds.)
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