Mitsuru Yasuhara

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

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

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


  Loading...