Authors: TAKEUTI G YASUMOTO M

Citation: G. Takeuti et M. Yasumoto, FORCING ON BOUNDED ARITHMETIC II, The Journal of symbolic logic, 63(3), 1998, pp. 860-868

Authors: TAKEUTI G

Citation: G. Takeuti, FREGE PROOF SYSTEM AND TNC-DEGREES, The Journal of symbolic logic, 63(2), 1998, pp. 709-738

Authors: TAKEUTI G

Citation: G. Takeuti, SEPARATIONS OF THEORIES IN WEAK BOUNDED ARITHMETIC, Annals of pure and applied Logic, 71(1), 1995, pp. 47-67

Authors: TAKEUTI G

Citation: G. Takeuti, THE CRITICAL NUMBER OF A VARIABLE IN A FUNCTION, The Journal of symbolic logic, 59(4), 1994, pp. 1228-1244

Authors: TAKEUTI G

Citation: G. Takeuti, GRZEGORCYK HIERARCHY AND IEP-SIGMA(1), The Journal of symbolic logic, 59(4), 1994, pp. 1274-1284