17 found
Order:
  1.  4
    Paul Axt & W. E. Singletary (1969). On Deterministic Normal Systems. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (4-5):49-62.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  4
    Paul Axt & W. E. Singletary (1969). Decision Problems Associated with Complete Deterministic Normal Systems. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (19):299-304.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    W. E. Singletary (1968). Results Regarding the Axiomatization of Partial Propositional Calculi. Notre Dame Journal of Formal Logic 9 (3):193-211.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  4. W. E. Singletary (1967). Review: Ronald Harrop, A Relativization Procedure for Propositional Calculi, with an Application to a Generalized Form of Post's Theorem; Ronald Harrop, J. N. Crossley, M. A. E. Dummett, Some Generalizations and Applications of a Relativization Procedure for Propositional Calculi. [REVIEW] Journal of Symbolic Logic 32 (1):125-126.
     
    Export citation  
     
    My bibliography   1 citation  
  5. C. E. Hughes & W. E. Singletary (1973). Combinatorial Systems with Axiom. Notre Dame Journal of Formal Logic 14 (3):354-360.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  1
    W. E. Singletary (1974). Many-One Degrees Associated with Partial Propositional Calculi. Notre Dame Journal of Formal Logic 15 (2):335-343.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  3
    W. E. Singletary (1967). A Note on Finite Axiomatization of Partial Propositional Calculi. Journal of Symbolic Logic 32 (3):352-354.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  2
    Charles E. Hughes & W. E. Singletary (1977). The One-One Equivalence of Some General Combinatorial Decision Problems. Notre Dame Journal of Formal Logic 18 (2):305-309.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9. Paul Axt & W. E. Singletary (1969). On Deterministic Normal Systems. Mathematical Logic Quarterly 15 (4‐5):49-62.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10. Paul Axt & W. E. Singletary (1969). Decision Problems Associated with Complete Deterministic Normal Systems. Mathematical Logic Quarterly 15 (19):299-304.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11. W. E. Singletary (1971). Duda W. L.. Post Canonical Language. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 410–423. [REVIEW] Journal of Symbolic Logic 36 (2):343.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. W. E. Singletary (1969). Gladstone M. D.. Some Ways of Constructing a Propositional Calculus of Any Required Degree of Unsolvability. Transactions of the American Mathematical Society, Vol. 118 , Pp. 192–210. [REVIEW] Journal of Symbolic Logic 34 (3):505-506.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. W. E. Singletary (1967). Harrop Ronald. A Relativization Procedure for Propositional Calculi, with an Application to a Generalized Form of Post's Theorem. Proceedings of the London Mathematical Society, Vol. 14 , Pp. 595–617.Harrop Ronald. Some Generalizations and Applications of a Relativization Procedure for Propositional Calculi. Formal Systems and Recursive Functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, Edited by Crossley J. N. And Dummett M. A. E., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 12–41. [REVIEW] Journal of Symbolic Logic 32 (1):125-126.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. W. E. Singletary (1968). Review: J. C. Shepherdson, Yehoshua Bar-Hillel, Machine Configuration and Word Problems of Given Degree of Unsolvability; J. C. Shepherdson, Machine Configuration and Word Problems of Given Degree of Unsolvability. [REVIEW] Journal of Symbolic Logic 33 (1):120-121.
     
    Export citation  
     
    My bibliography  
  15. W. E. Singletary (1969). Review: M. D. Gladstone, Some Ways of Constructing a Propositional Calculus of Any Required Degree of Unsolvability. [REVIEW] Journal of Symbolic Logic 34 (3):505-506.
  16. W. E. Singletary (1971). Review: W. L. Duda, Post Canonical Language. [REVIEW] Journal of Symbolic Logic 36 (2):343-343.
    Direct download  
     
    Export citation  
     
    My bibliography  
  17. W. E. Singletary (1968). Shepherdson J. C.. Machine Configuration and Word Problems of Given Degree of Unsolvability. Logic, Methodology and Philosophy of Science, Proceedings of the 1964 International Congress, Edited by Bar-Hillel Yehoshua, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 69–80.Shepherdson J. C.. Machine Configuration and Word Problems of Given Degree of Unsolvability. Zeitschrift Für Mathematlsche Logik Und Grundlagen der Mathematik, Vol. 11 , Pp. 149–175. [REVIEW] Journal of Symbolic Logic 33 (1):120-121.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography