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

doi:10.2307/2270593

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.

Journal of Symbolic Logic ◽

10.2307/2270593 ◽

1965 ◽

Vol 30 (1) ◽

pp. 95-95

Author(s):

Thomas Frayne

Keyword(s):

Symbolic Logic ◽

Summer Institute ◽

Sentential Calculus ◽

Cornell University ◽

Alfred Tarski ◽

Research Division

Download Full-text

Dana Scott. Completeness proofs for the intuitionistic sentential calculus. 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. 231–241.

Journal of Symbolic Logic ◽

10.2307/2963556 ◽

1960 ◽

Vol 25 (4) ◽

pp. 351-351

Author(s):

Gene F. Rose

Keyword(s):

Symbolic Logic ◽

Summer Institute ◽

Sentential Calculus ◽

Cornell University ◽

Research Division

Download Full-text

Leon Henkin and Alfred Tarski. Cylindrical algebras. 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. 332–340.

Journal of Symbolic Logic ◽

10.2307/2270834 ◽

1967 ◽

Vol 32 (3) ◽

pp. 417-417

Author(s):

Ann M. Singleterry

Keyword(s):

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Alfred Tarski ◽

Research Division

Download Full-text

A. Tarski. Remarks on predicate logic with infinitely long expressions. Colloquium mathematicum, vol. 6 (1958), pp. 171–176. - Alfred Tarski. Remarks on predicate logic 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. 160–163.

Journal of Symbolic Logic ◽

10.2307/2270591 ◽

1965 ◽

Vol 30 (1) ◽

pp. 94-95

Author(s):

Thomas Frayne

Keyword(s):

Predicate Logic ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Alfred Tarski ◽

Research Division

Download Full-text

M. O. Rabin. Computable algebraic systems. 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. 134–138. - Michael O. Rabin. Computable algebra, general theory and theory of computable fields. Transactions of the American Mathematical Society, vol. 95 (1960), pp. 341–360.

Journal of Symbolic Logic ◽

10.2307/2270825 ◽

1967 ◽

Vol 32 (3) ◽

pp. 412-413

Author(s):

B. H. Mayoh

Keyword(s):

General Theory ◽

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Summer Institute ◽

Algebraic Systems ◽

Cornell University ◽

Research Division

Download Full-text

Hao Wang. Symbolic representations of calculating machines. 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. 181–188.

Journal of Symbolic Logic ◽

10.2307/2963725 ◽

1962 ◽

Vol 27 (1) ◽

pp. 103-103

Author(s):

C. C. Elgot

Keyword(s):

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Symbolic Representations ◽

Research Division

Download Full-text

R. L. Vaught. Sentences true in all constructive models. 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. 341–343. - R. L. Vaught. Sentences true in all constructive models. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 39–53.

Journal of Symbolic Logic ◽

10.2307/2270666 ◽

1966 ◽

Vol 31 (1) ◽

pp. 132-132

Author(s):

S. Feferman

Keyword(s):

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division ◽

Constructive Models

Download Full-text

P. C. Gilmore. An alternative to set theory. The American mathematical monthly, vol. 67 (1960), pp. 621–632. - P. C. Gilmore. The monadic theory of types in the lower predicate calculus. 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. 309–312.

Journal of Symbolic Logic ◽

10.2307/2272453 ◽

1972 ◽

Vol 37 (4) ◽

pp. 766-767

Author(s):

Bede Rundle

Keyword(s):

Set Theory ◽

Predicate Calculus ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division ◽

Monadic Theory

Download Full-text

R. M. Friedberg. The fine structure of degrees of unsolvability of recursively enumerable sets. 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. 404–406.

Journal of Symbolic Logic ◽

10.2307/2271602 ◽

1963 ◽

Vol 28 (2) ◽

pp. 166-166 ◽

Cited By ~ 2

Author(s):

Gerald E. Sacks

Keyword(s):

Fine Structure ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division ◽

Recursively Enumerable ◽

Recursively Enumerable Sets ◽

Degrees Of Unsolvability

Download Full-text

G. Kreisel. Gödel's intepretation of Heyting's arithmetic. 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. 125–133. - G. Kreisel. Relations between classes of constructive functional. 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. 292–302. - Georg Kreisel. Interpretation of analysis by means of constructive functional of finite types. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 101–128.

Journal of Symbolic Logic ◽

10.2307/2271570 ◽

1971 ◽

Vol 36 (1) ◽

pp. 169-171

Author(s):

D. van Dalen

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

Summer Institute ◽

North Holland Publishing Company ◽

Cornell University ◽

Research Division ◽

North Holland Publishing

Download Full-text

Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. Proceedings of the American Mathematical Society, vol. 9 (1958), pp. 238–242. - Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. 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. 139–140.

Journal of Symbolic Logic ◽

10.2307/2269725 ◽

1966 ◽

Vol 31 (4) ◽

pp. 659-660

Author(s):

Robert McNaughton

Keyword(s):

American Mathematical Society ◽

Mathematical Society ◽

Symbolic Logic ◽

Summer Institute ◽

Cornell University ◽

Research Division

Download Full-text