# Mitsuru Yasuhara

According to our database

Collaborative distances:

^{1}, Mitsuru Yasuhara authored at least 5 papers between 1966 and 1989.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1989

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

Math. Log. Q., 1989

1984

Extensionality in Bernays set theory.

Notre Dame Journal of Formal Logic, 1984

1982

Cut Elimination in ε-Calculi.

Math. Log. Q., 1982

1966

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

J. Symb. Log., 1966

Syntactical and Semantical Properties of Generalized Quantifiers.

J. Symb. Log., 1966