4 results
Setsuo Saito. Truth value assignment in predicate calculus of first order. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 216–223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 268
- Print publication:
- June 1966
-
- Article
- Export citation
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 (1964), pp. 185–191.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-268
- Print publication:
- June 1966
-
- Article
- Export citation
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
- Print publication:
- March 1965
-
- Article
- Export citation
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
- Print publication:
- June 1964
-
- Article
- Export citation