A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Takahashi, Moto-o, On the Existence of Cohen Extensions (1972) |

Takahashi, Moto-o, A Proof of Cut-Elimination Theorem in Simple Type-Theory |

Takeno, Hyôitirô, The Mathematical Theory of Plane Gravitational Waves in General Relativity (1961) |

Takeno, Hyôitirô, The Theory of Spherically Symmetric Space-Times (1963) |

Takeuchi, Kensuke, On Free Modular Lattices II (1959) |

Takeuti, G., Cut Elimination of Simple Type Theory |

Takeuti, Gaisi, Construction of Ramified Real Numbers (1956) |

Takeuti, Gaisi, On the Formal Theory of the Ordinal Diagrams (1958) |

Takeuti, Gaisi, Abstract of 'Remarks on Cantor's Absolute II' (1961) |

Takeuti, Gaisi, On the Fundamental Conjecture of GLC. VI (1961) |