| 19 found Sort by:
|
- Gaisi Takeuti (2000). Gödel Sentences of Bounded Arithmetic. Journal of Symbolic Logic 65 (3):1338-1346.
- Gaisi Takeuti (1998). Frege Proof System and TNC⚬. Journal of Symbolic Logic 63 (2):709 - 738.
- Gaisi Takeuti & Masahiro Yasumoto (1998). Forcing on Bounded Arithmetic II. Journal of Symbolic Logic 63 (3):860-868.
- Gaisi Takeuti (1994). Grzegorcyk's Hierarchy and Iepσ. Journal of Symbolic Logic 59 (4):1274 - 1284.
- Gaisi Takeuti (1994). The Critical Number of a Variable in a Function. Journal of Symbolic Logic 59 (4):1228-1244.
- Gaisi Takeuti (1991). A Second Order Version of Si2 and U12. Journal of Symbolic Logic 56 (3):1038-1063.
- Gaisi Takeuti (1988). Boolean Simple Groups and Boolean Simple Rings. Journal of Symbolic Logic 53 (1):160-173.
- Gaisi Takeuti (1987). Proof Theory. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
- Gaisi Takeuti (1985). Proof Theory and Set Theory. Synthese 62 (2):255 - 263.
- Gaisi Takeuti & Satoko Titani (1984). Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory. Journal of Symbolic Logic 49 (3):851-866.
- G. H. Müller, Gaisi Takeuti & T. Tugué (eds.) (1981). Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980. [REVIEW] Springer-Verlag.
- Gaisi Takeuti (1979). A Transfer Principle in Harmonic Analysis. Journal of Symbolic Logic 44 (3):417-440.
- Carl G. Jockusch Jr, Robert I. Soare, William Tait & Gaisi Takeuti (1978). Meeting of the Association for Symbolic Logic: Chicago, 1977. Journal of Symbolic Logic 43 (3):614 - 619.
- Gaisi Takeuti (1978). Two Applications of Logic to Mathematics. Princeton University Press.
- Shoji Maehara & Gaisi Takeuti (1971). Two Interpolation Theorems for a Π11 Predicate Calculus. Journal of Symbolic Logic 36 (2):262 - 270.
- Gaisi Takeuti (1971). Introduction to Axiomatic Set Theory. New York,Springer-Verlag.
- Gaisi Takeuti (1971). Meetings of the Association for Symbolic Logic. Journal of Symbolic Logic 36 (2):357-384.
- Gaisi Takeuti (1965). A Formalization of the Theory of Ordinal Numbers. Journal of Symbolic Logic 30 (3):295-317.
- Gaisi Takeuti (1965). Transcendence of Cardinals. Journal of Symbolic Logic 30 (1):1-7.
|
