Mitsuru Yasuhara

According to our database¹, Mitsuru Yasuhara authored at least 5 papers between 1966 and 1989.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1989

An Addition to "Cut Elimination in ϵ-Calculi".

[BibT_eX]

[DOI]

Math. Log. Q., 1989

1984

Extensionality in Bernays set theory.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1984

1982

Cut Elimination in ε-Calculi.

[BibT_eX]

[DOI]

Math. Log. Q., 1982

1966

An Axiomatic System for the First Order Language with an Equi-Cardinality Quantifier.

[BibT_eX]

[DOI]

J. Symb. Log., 1966

Syntactical and Semantical Properties of Generalized Quantifiers.

[BibT_eX]

[DOI]

J. Symb. Log., 1966