17 found
Order:
Disambiguations
Mitsuru Yasuhara [15]M. Yasuhara [2]
  1.  13
    An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.M. Yasuhara & Peter B. Andrews - 1988 - Journal of Symbolic Logic 53 (1):312.
  2.  19
    J. I. Malitz and W. N. Reinhardt. Maximal Models in the Language with Quantifier “There Exist Uncountably Many.” Pacific Journal of Mathematics, Vol. 40 , Pp. 139–155. - J. I. Malitz and W. N. Reinhardt. A Complete Countable Lω1Q Theory with Maximal Models of Many Cardinalities. Pacific Journal of Mathematics, Vol. 43 , Pp. 691–700. [REVIEW]Mitsuru Yasuhara - 1975 - Journal of Symbolic Logic 40 (4):635-636.
  3.  11
    Peter B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Computer Science and Applied Mathematics. Academic Press, Orlando Etc. 1986, Xv + 304 Pp. [REVIEW]M. Yasuhara - 1988 - Journal of Symbolic Logic 53 (1):312-314.
  4.  29
    Cut Elimination in Ɛ-Calculi.Mitsuru Yasuhara - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (20-21):311-316.
  5.  32
    Syntactical and Semantical Properties of Generalized Quantifiers.Mitsuru Yasuhara - 1966 - Journal of Symbolic Logic 31 (4):617-632.
  6.  8
    R. H. Thomason and H. Leblanc. All or None: A Novel Choice of Primitives for Elementary Logic. The Journal of Symbolic Logic, Vol. 32 , Pp. 345–351.Mitsuru Yasuhara - 1969 - Journal of Symbolic Logic 34 (1):124-125.
  7.  28
    On a Problem of Mostowski on Finite Spectra.Mitsuru Yasuhara - 1971 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 17 (1):17-20.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  25
    An Axiomatic System for the First Order Language with an Equi-Cardinality Quantifier.Mitsuru Yasuhara - 1966 - Journal of Symbolic Logic 31 (4):633-640.
  9.  23
    An Addition to “Cut Elimination in Ε-Calculi”.Mitsuru Yasuhara - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):483-484.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  14
    REVIEWS-An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.P. B. Andrews & Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408.
  11.  11
    Cut Elimination in Ε‐Calculi.Mitsuru Yasuhara - 1982 - Mathematical Logic Quarterly 28 (20‐21):311-316.
  12.  11
    On a Problem of Mostowski on Finite Spectra.Mitsuru Yasuhara - 1971 - Mathematical Logic Quarterly 17 (1):17-20.
  13.  9
    An Addition to “Cut Elimination in Ε‐Calculi”.Mitsuru Yasuhara - 1989 - Mathematical Logic Quarterly 35 (6):483-484.
  14.  9
    Review: J. I. Malitz, W. N. Reinhardt, Maximal Models in the Language with Quantifier "There Exist Uncountably Many."; J. I. Malitz, W. N. Reinhardt, A Complete Countable $L^Q{Omega1}$ Theory with Maximal Models of Many Cardinalities. [REVIEW]Mitsuru Yasuhara - 1975 - Journal of Symbolic Logic 40 (4):635-636.
  15.  7
    Review: R. H. Thomason, H. Leblanc, All or None: A Novel Choice of Primitives for Elementary Logic. [REVIEW]Mitsuru Yasuhara - 1969 - Journal of Symbolic Logic 34 (1):124-125.
  16.  4
    Andrews Peter B.. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Applied Logic Series, Vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, Xviii+ 390 Pp. [REVIEW]Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.
  17.  5
    Extensionality in Bernays Set Theory.Mitsuru Yasuhara - 1984 - Notre Dame Journal of Formal Logic 25 (4):357-363.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark