Home Advanced Search

Advanced Search - Page 1

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
Proof Theory
  • PDF
  • English
  • Year: 1987
  • Author: Gaisi Takeuti
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