G. Takeuti
发表
G. Takeuti,
1978
.
G. Takeuti,
1975
.
P. Clote,
G. Takeuti,
1995
.
G. Takeuti,
M. Yasugi,
1981
.
G. Takeuti,
Mikio Okada,
1985
.
Gaisi Takeuti,
Jan Krajíček,
J. Krajícek,
1990
.
Satoko Titani,
Gaisi Takeuti,
G. Takeuti,
1981
.
Gaisi Takeuti,
W. M. Zaring,
Wilson M. Zaring,
1973
.
Gaisi Takeuti,
G. Takeuti,
1955
.
G. Takeuti,
1958
.
G. Takeuti,
2009
.
G. Takeuti,
2009
.
G. Takeuti,
1961
.
G. Takeuti,
1990
.
G. Takeuti,
1994,
The Journal of Symbolic Logic.
G. Takeuti,
A. Beckmann,
2002
.
D. Lascar,
G. Takeuti,
G. Mints,
2016
.
G. Takeuti,
1975
.
G. Takeuti,
1991,
Journal of Symbolic Logic.
Gaisi Takeuti,
G. Takeuti,
1981
.
Satoko Titani,
Gaisi Takeuti,
G. Takeuti,
1984,
Journal of Symbolic Logic.
Satoko Titani,
Gaisi Takeuti,
G. Takeuti,
1987,
Ann. Pure Appl. Log..
Peter Clote,
Gaisi Takeuti,
P. Clote,
1992,
Ann. Pure Appl. Log..
Gaisi Takeuti,
W. M. Zaring,
Wilson M. Zaring,
1971
.
Gaisi Takeuti,
Masahiro Yasumoto,
G. Takeuti,
1998,
Journal of Symbolic Logic.
Gaisi Takeuti,
Georg Kreisel,
G. Kreisel,
1985
.
G. Takeuti,
1975
.
Gaisi Takeuti,
G. Takeuti,
1953
.
Robert I. Soare,
Carl G. Jockusch,
Gaisi Takeuti,
1978,
Journal of Symbolic Logic.
Gaisi Takeuti,
G. Takeuti,
1969
.
G. Takeuti,
G. H. Müller,
T. Tugué,
1981
.
Gaisi Takeuti,
G. Takeuti,
1960
.
Gaisi Takeuti,
Akiko Kino,
G. Takeuti,
1963
.
G. Takeuti,
Akiko Kino,
1962
.
Satoko Titani,
Gaisi Takeuti,
G. Takeuti,
1986,
Ann. Pure Appl. Log..
Gaisi Takeuti,
G. Takeuti,
1955
.
G. Kreisel,
G. Takeuti,
G. Kreisel,
1974
.
Jan Krajícek,
Pavel Pudlák,
Gaisi Takeuti,
1991,
Ann. Pure Appl. Log..
Peter Clote,
Gaisi Takeuti,
P. Clote,
1986,
SCT.
Gaisi Takeuti,
G. Takeuti,
1988,
Ann. Pure Appl. Log..
Gaisi Takeuti,
G. Takeuti,
1967
.
Mariko Yasugi,
Gaisi Takeuti,
G. Takeuti,
1973
.
Gaisi Takeuti,
G. Takeuti,
1960
.
Gaisi Takeuti,
G. Takeuti,
1988,
Journal of Symbolic Logic.
Gaisi Takeuti,
G. Takeuti,
1982
.
Gaisi Takeuti,
G. Takeuti,
1981
.
Satoko Titani,
Gaisi Takeuti,
G. Takeuti,
1992,
Arch. Math. Log..