Home Advanced Search

Advanced Search - Page 1

Two Applications of Logic to Mathematics
Two Applications of Logic to Mathematics
  • PDF
  • English
  • Year: 2015
  • Author: Gaisi Takeuti
Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)
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
Two Applications of Logic to Mathematics
  • DJVU
  • English
  • Year: 1978
  • Author: Gaisi Takeuti
Introduction to axiomatic set theory
Introduction to axiomatic set theory
  • DJVU
  • English
  • Year: 1982
  • Author: Zaring, Wilson M.; Takeuti, Gaisi
Introduction to Axiomatic Set Theory
Introduction to Axiomatic Set Theory
  • PDF
  • English
  • Year: 1982
  • Author: Gaisi Takeuti, Wilson M. Zaring (auth.)
Теория судебных доказательств в советском праве. Издание третье дополненное.
  • DJVU
  • Russian
  • Year: 1978
  • Author: Такеути Г. (Takeuti G.)
Introduction to Axiomatic Set Theory
Introduction to Axiomatic Set Theory
  • PDF
  • English
  • Year: 2013
  • Author: Takeuti, G.;Zaring, W. M
Introduction to Axiomatic Set Theory
Introduction to Axiomatic Set Theory
  • PDF
  • English
  • Year: 2011
  • Author: G. Takeuti; W M Zaring
search