Transcendence of Cardinals. - Gaisi Takeuti (J. Symb. Log., 1965)

A Formalization of the Theory of Ordinal Numbers. - Gaisi Takeuti (J. Symb. Log., 1965)

Two Interpolation Theorems for a pi11 Predicate Calculus. - Shoji Maehara; Gaisi Takeuti (J. Symb. Log., 1971)

Meetings of the Association for Symbolic Logic. - Gaisi Takeuti (J. Symb. Log., 1971)

Meeting of the Association for Symbolic Logic: Chicago, 1977. - Carl G. Jockusch Jr.; Robert I. Soare; William W. Tait; Gaisi Takeuti (J. Symb. Log., 1978)

A Transfer Principle in Harmonic Analysis. - Gaisi Takeuti (J. Symb. Log., 1979)

Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory. - Gaisi Takeuti; Satoko Titani (J. Symb. Log., 1984)

Exponential Time and Bounded Arithmetic. - Peter Clote; Gaisi Takeuti (SCT, 1986)

Global intuitionistic analysis. - Gaisi Takeuti; Satoko Titani (Ann. Pure Appl. Log., 1986)

Globalization of intui tionistic set theory. - Gaisi Takeuti; Satoko Titani (Ann. Pure Appl. Log., 1987)

Bounded arithmetic and truth definition. - Gaisi Takeuti (Ann. Pure Appl. Log., 1988)

Boolean Simple Groups and Boolean Simple Rings. - Gaisi Takeuti (J. Symb. Log., 1988)

S3i andV2i(BD). - Gaisi Takeuti (Arch. Math. Log., 1990)

Bounded Arithmetic and the Polynomial Hierarchy. - Jan Krajícek; Pavel Pudlák; Gaisi Takeuti (Ann. Pure Appl. Log., 1991)

A Second Order Version of Si2 and U12. - Gaisi Takeuti (J. Symb. Log., 1991)

On Induction-Free Provability. - Jan Krajícek; Gaisi Takeuti (Ann. Math. Artif. Intell., 1992)

Fuzzy logic and fuzzy set theory. - Gaisi Takeuti; Satoko Titani (Arch. Math. Log., 1992)

Bounded Arithmetic for NC, ALogTIME, L and NL. - Peter Clote; Gaisi Takeuti (Ann. Pure Appl. Log., 1992)

Frege Proof System and TNC°. - Gaisi Takeuti (LCC, 1994)

The Critical Number of a Variable in a Function. - Gaisi Takeuti (J. Symb. Log., 1994)

Grzegorcyk's Hierarchy and Iep Sigma1. - Gaisi Takeuti (J. Symb. Log., 1994)

RSUV isomorphisms for TACi, TNCi and TLS. - Gaisi Takeuti (Arch. Math. Log., 1995)

Separations of Theories in Weak Bounded Arithmetic. - Gaisi Takeuti (Ann. Pure Appl. Log., 1995)

Frege Proof System and TNCdegree. - Gaisi Takeuti (J. Symb. Log., 1998)

Forcing on Bounded Arithmetic II. - Gaisi Takeuti; Masahiro Yasumoto (J. Symb. Log., 1998)

Gödel Sentences of Bounded Arithmetic. - Gaisi Takeuti (J. Symb. Log., 2000)