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, Cut-elimination Theorem and Brouwerian-valued Models for Intuitionistic Type Theory (1971) |

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

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, A Determinate Logic |

Takeuti, Gaisi, Boolean Valued Analysis |

Takeuti, Gaisi, Boolean Valued Analysis I |

Takeuti, Gaisi, Boolean Valued Completion of Uniformly Locally Compact Spaces |