Shoji Maehara

According to our database, Shoji Maehara authored at least 1 paper in 1971.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1971

Two Interpolation Theorems for a pi¹₁ Predicate Calculus.

Shoji Maehara, Gaisi Takeuti

J. Symb. Log., 1971