Author pages are created from data sourced from our academic publisher partnerships and public sources.

Publications Influence

Semi-Automated Mathematics

- J. R. Guard, F. C. Oglesby, J. H. Bennett, L. G. Settle
- Computer Science
- JACM
- 1969

TLDR

75 6

Review: Burton Dreben, A. S. Kahr, Hao Wang, Classification of AEA Formulas by Letter Atoms

- F. C. Oglesby
- Mathematics
- 1 June 1964

Review: Setsuo Saito, Truth Value Assignment in Predicate Calculus of First Order

- F. C. Oglesby
- Mathematics
- 1 June 1966

Review: Layman E. Allen, Wff 'n Proof. The Game of Modern Logic; Layman E. Allen, Wff. The Beginner's Game of Modern Logic

- F. C. Oglesby
- Computer Science
- 1 March 1965

Burton Dreben, A. S. Kahr, and Hao Wang. Classification of AEA formulas by letter atoms. Bulletin of the American Mathematical Society , vol. 68 (1962), pp. 528–532.

- F. C. Oglesby
- Philosophy
- 1 June 1964

Review: Jaakko Hintikka, J. N. Crossley, M. A. E. Dummett, Distributive Normal Forms in First-Order Logic; Jaakko Hintikka, Distributive Normal Forms and Deductive Interpolation

- F. C. Oglesby
- Mathematics
- 1 June 1966

1

Allen Layman E.. Wff 'n proof. The game of modern logic. Wff 'n proof, New Haven, Conn., 1962, viii + 224 pp.Allen Layman E.. Wff. The beginner's game of modern logic. Wff 'n proof, New Haven, Conn.,…

- F. C. Oglesby
- Mathematics
- 1 March 1965