M. D. Gladstone

Publication Activity (10 Years)

Years Active: 1964-1979
Publications (10 Years): 0

Publications

M. D. Gladstone
The decidability of one-variable propositional calculi. Notre Dame J. Formal Log. 20 (2) (1979)
M. D. Gladstone
Simplifications of the Recursion Scheme. J. Symb. Log. 36 (4) (1971)
M. D. Gladstone
On the number of variables in the axioms. Notre Dame J. Formal Log. 11 (1) (1970)
M. D. Gladstone
A Reduction of the Recursion Scheme. J. Symb. Log. 32 (4) (1967)
M. D. Gladstone
Finite Models for Inequations. J. Symb. Log. 31 (4) (1966)
John C. Shepherdson, S. Korner, M. D. Gladstone
Meeting of the Association for Symbolic Logic. J. Symb. Log. 29 (4) (1964)