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.)
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: 1975
  • Author: Gaisi Takeuti
Introduction to Axiomatic Set Theory
  • PDF
  • English
  • Year: 1982
  • Author: Gaisi Takeuti, Wilson M. Zaring (auth.)
Introduction to Axiomatic Set Theory
  • PDF
  • English
  • Year: 1982
  • Author: Gaisi Takeuti, Wilson M. Zaring (auth.)
Introduction to axiomatic set theory
  • DJVU
  • English
  • Year: 1982
  • Author: Zaring, Wilson M.; Takeuti, Gaisi
Introduction to Axiomatic Set Theory
  • DJVU
  • English
  • Year: 1982
  • Author: Gaisi Takeuti, Wilson M. Zaring
search