3 results
Y. Bar-Hillel. Comment on the first issue of MULL, MULL, vol. 59 no. D (for 1959, pub. 1960), p. 50. - Patricia James. Reply to Bar-Hillel. MULL, vol. 59 no. D (for 1959, pub. 1960), pp. 50–51.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 47
- Print publication:
- March 1964
-
- Article
- Export citation
Patricia A. James. Mechanization of a tax code. MULL, vol. 59 no. S (1959), pp. 1–3.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 46-47
- Print publication:
- March 1964
-
- Article
- Export citation
Layman E. Allen. Propositional calculi. MULL, vol. 59 no. S (1959), pp. 4–14. - Layman E. Allen. Alethic logic. MULL, vol. 59 no. D (for 1959, pub. 1960), pp. 33–42. - Layman E. Allen. Deontic logic. MULL, vol. 60 no. M (1960), pp. 13–27. - Layman E. Allen. Note on simplifying the reiteration rule. MULL, vol. 59 no. D (for 1959, pub. 1960), p. 42. - Layman E. Allen. Note on the use of definitions to justify steps in proofs. MULL, vol. 59 no. D (for 1959, pub. 1960), pp. 42–44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 44-46
- Print publication:
- March 1964
-
- Article
- Export citation