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

Yasuhara, Mitsuru, A Consistency Proof of Analysis (1974) |

Yasuhara, Mitsuru, Completeness of Cut-Free Type Theories |

Yasuhara, Mitsuru, The Cut-Elimination Theorem in the Unary Second-Order Language |

Yates, C. E. M., On the Degrees of Index Sets (1964) |

Yates, C. E. M., Initial Segments and Implications for the Structure of Degrees (1970) |

Yonemitsu, Naoto, On Systems of Strict Implication (1951) |

Yonemitsu, Naoto, A Decision Method and a Topological Interpretation for Systems of Logical Implication (1954) |

Yonemitsu, Naoto, A Note on Systems of Logical Implication (1954) |

Yonemitsu, Naoto, A Note on Modal Systems von Wright's M and Lewis's S1 (1955) |

Yonemitsu, Naoto, A Note on Modal Systems (II) (1957) |