M. D. Gladstone

According to our database, M. D. Gladstone authored at least 6 papers between 1964 and 1979.

Collaborative distances:

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

1979

The decidability of one-variable propositional calculi.

M. D. Gladstone

Notre Dame J. Formal Log., 1979

1971

Simplifications of the Recursion Scheme.

M. D. Gladstone

J. Symb. Log., 1971

1970

On the number of variables in the axioms.

M. D. Gladstone

Notre Dame J. Formal Log., 1970

1967

A Reduction of the Recursion Scheme.

M. D. Gladstone

J. Symb. Log., 1967

1966

Finite Models for Inequations.

M. D. Gladstone

J. Symb. Log., 1966

1964

Meeting of the Association for Symbolic Logic.

John C. Shepherdson, S. Korner, M. D. Gladstone

J. Symb. Log., 1964