Works by F. C. Oglesby

( view other items matching `F. C. Oglesby`, view all matches )
5 found
Order:
  1.  11
    Burton Dreben, A. S. Kahr, and Hao Wang. Classification of AEA formulas by letter atoms. Bulletin of the American Mathematical Society, vol. 68 , pp. 528–532. [REVIEW]F. C. Oglesby - 1964 - Journal of Symbolic Logic 29 (2):101.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  28
    (1 other version)Jaakko Hintikka. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 48–91. - Jaakko Hintikka. Distributive normal forms and deductive interpolation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 185–191. [REVIEW]F. C. Oglesby - 1966 - Journal of Symbolic Logic 31 (2):267-268.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  21
    Layman E. Allen. Wff 'n proof. The game of modern logic. Wff 'n proof, New Haven, Conn., 1962, viii + 224 pp. - Layman E. Allen. Wff. The beginner's game of modern logic. Wff 'n proof, New Haven, Conn., 1963, 78 pp. [REVIEW]F. C. Oglesby - 1965 - Journal of Symbolic Logic 30 (1):105.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  23
    Review: Layman E. Allen, Wff 'n Proof. The Game of Modern Logic; Layman E. Allen, Wff. The Beginner's Game of Modern Logic. [REVIEW]F. C. Oglesby - 1965 - Journal of Symbolic Logic 30 (1):105-105.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. (1 other version)Review: Setsuo Saito, Truth Value Assignment in Predicate Calculus of First Order. [REVIEW]F. C. Oglesby - 1966 - Journal of Symbolic Logic 31 (2):268-268.
     
    Export citation  
     
    Bookmark