D. Scott and A. Tarski. The sentential calculus with infinitely long expressions. Colloquium mathematicum, vol. 6 (1958), pp. 165–170. - Dana Scott and Alfred Tarski. The sentential calculus with infinitely long expressions. 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. 83–89.
Thomas Frayne · Journal of Symbolic Logic · 1965
D. Scott and A. Tarski. The sentential calculus with infinitely long expressions. Colloquium mathematicum, vol. 6 (1958), pp. 165–170. - Dana Scott and Alfred Tarski. The sentential calculus with infinitely long expressions. 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. 83–89. - Volume 30 Issue 1