Order:
Order
- Simplifications of the Recursion Scheme.M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (4):653-665.details
- A Reduction of the Recursion Scheme.M. D. Gladstone - 1967 - Journal of Symbolic Logic 32 (4):505-508.details
- On the Number of Variables in the Axioms.M. D. Gladstone - 1970 - Notre Dame Journal of Formal Logic 11 (1):1-15.details
- The Decidability of One-Variable Propositional Calculi.M. D. Gladstone - 1979 - Notre Dame Journal of Formal Logic 20 (2):438-450.details
- A Single‐Axiom Impligational Calculus of Given Unsolvability.M. D. Gladstone - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (13‐17):193-204.details
- Bishwambhar Pahi and Ralph C. Applebee. An Unsolvable Problem Concerning Implicational Calculi. Notre Dame Journal of Formal Logic, Vol. 11 , Pp. 200–202. [REVIEW]M. D. Gladstone - 1972 - Journal of Symbolic Logic 37 (2):417.details
- Finite Models for Inequations.M. D. Gladstone - 1966 - Journal of Symbolic Logic 31 (4):581-592.details
- Hughes G. E.. The Independence of Axioms in the Propositional Calculus. The Australasian Journal of Philosophy, Vol. 35 , Pp. 21–29. [REVIEW]M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (3):546-546.details
- Henry W. JohnstoneJr., A Definition of Conjunction in the Pure Implicational Calculus with One Variable. Logique Et Analyse, N.S. Vol. 9 , Pp. 310–312. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584.details
- Mary Katherine Yntema. A Detailed Argument for the Post-Linial Theorems. Notre Dame Journal of Formal Logic, Vol. 5 No. 1 , Pp. 37–50. [REVIEW]M. D. Gladstone - 1966 - Journal of Symbolic Logic 31 (1):117-118.details
- Philip K. Hooper. Monogenic Post Normal Systems of Arbitrary Degree. Journal of the Association for Computing Machinery, Vol. 13 , Pp. 359–363. [REVIEW]M. D. Gladstone - 1969 - Journal of Symbolic Logic 34 (3):508-509.details
- Review: Ann Yasuhara, A Remark on Post Normal Systems. [REVIEW]M. D. Gladstone - 1968 - Journal of Symbolic Logic 33 (1):116-117.details
- Review: Bishwambhar Pahi, Ralph C. Applebee, An Unsolvable Problem Concerning Implicational Calculi. [REVIEW]M. D. Gladstone - 1972 - Journal of Symbolic Logic 37 (2):417-417.details
- Review: G. E. Hughes, The Independence of Axioms in the Propositional Calculus. [REVIEW]M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (3):546-546.details
- Review: Henry W. Johnstone, Robert Price, Axioms for the Implicational Calculus with One Variable. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584-584.details
- Review: Henry W. Johnstone, A Definition of Conjunction in the Pure Implicational Calculus with One Variable. [REVIEW]M. D. Gladstone - 1970 - Journal of Symbolic Logic 35 (4):584-584.details
- Review: Philip K. Hooper, Monogenic Post Normal Systems of Arbitrary Degree. [REVIEW]M. D. Gladstone - 1969 - Journal of Symbolic Logic 34 (3):508-509.details
- Yasuhara Ann. A Remark on Post Normal Systems. Journal of the Association for Computing Machinery, Vol. 14 , Pp. 167–171. [REVIEW]M. D. Gladstone - 1968 - Journal of Symbolic Logic 33 (1):116-117.details
- Meeting of the Association for Symbolic Logic.J. C. Shepherdson, S. Körner & M. D. Gladstone - 1964 - Journal of Symbolic Logic 29 (4):218-228.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
 Email
|
 RSS feed
|
|
