Documents liés : [5 document(s)]

Documents (Auteurs)

• [MathOuvrage] Proof theory / Takeuti, Gaisi. -Amsterdam : North-Holland, 1975. - 372
  
• [MathOuvrage] Axiomatic set theory / Takeuti, Gaisi ; Zaring, W.M.. -Berlin : Springer, 1973. - 237
  http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=7 ; https://link.springer.com/openurl.asp?genre=journal&issn=0072-5285
  
• [MathOuvrage] Introduction to axiomatic set theory / Takeuti, Gaisi ; Zaring, W.M.. -Berlin : Springer, 1971. - vii, 250
  http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=7 ; https://link.springer.com/openurl.asp?genre=journal&issn=0072-5285
  
• [MathOuvrage] Two applications of logic to mathematics / Takeuti, Gaisi. -Princeton NJ, Tokyo : Princeton university Press;Iwanami Shoten, 1978. - viii, 138
  https://www.mathsoc.jp/publications/pubmsj/
  
• [MathCongrès] Logic symposia Hakone 1979, 1980. Proceedings of conferences held in Hakone, Japan, march 21-24, 1979 and february 4-7, 1980 / Ed. Muller, G. H. ; Ed. Takeuti, Gaisi ; Ed. Tugue, T.. -Berlin : Springer, 1981. - xii, 394
  https://doi.org/10.1007/BFb0090974