G. Kreisel. Foundations of intuitionistic logic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 198–210.

Abraham Robinson

doi:10.2307/2270145

G. Kreisel. Foundations of intuitionistic logic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 198–210.

Journal of Symbolic Logic ◽

10.2307/2270145 ◽

1965 ◽

Vol 30 (2) ◽

pp. 243-244

Author(s):

Abraham Robinson

Keyword(s):

Philosophy Of Science ◽

Intuitionistic Logic ◽

International Congress ◽

Stanford University ◽

Alfred Tarski

Alonzo Church. Mathematics and logic. Logic, methodology and philosophy of science, Proceedings of the I960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 181–186.

Journal of Symbolic Logic ◽

10.2307/2271353 ◽

1963 ◽

Vol 28 (1) ◽

pp. 106-107

Author(s):

E. J. Lemmon

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Stanford University ◽

Alfred Tarski

J. F. Staal. Contraposition in Indian logic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, California, 1962, pp. 634–649.

Journal of Symbolic Logic ◽

10.2307/2271447 ◽

1970 ◽

Vol 35 (4) ◽

pp. 574-575

Author(s):

Jan Berg

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Stanford University ◽

Indian Logic ◽

Alfred Tarski

Alfred Tarski. Some problems and results relevant to the foundations of set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 125–135. - W. Hanf. Incompactness in languages with infinitely long expressions. Fundamenta mathematicae, vol. 53 no. 3 (1964), pp. 309–324.

Journal of Symbolic Logic ◽

10.2307/2270592 ◽

1965 ◽

Vol 30 (1) ◽

pp. 95-96

Author(s):

Thomas Frayne

Keyword(s):

Philosophy Of Science ◽

Set Theory ◽

International Congress ◽

Stanford University ◽

Alfred Tarski

Robert L. Vaught. On a theorem of Cobham concerning undecidable theories. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 14–25.

Journal of Symbolic Logic ◽

10.2307/2271015 ◽

1969 ◽

Vol 34 (1) ◽

pp. 126-127

Author(s):

Verena H. Dyson

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Stanford University ◽

Alfred Tarski

Wanda Szmielew. New foundations of absolute geometry. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 168–175.

Journal of Symbolic Logic ◽

10.2307/2272627 ◽

1972 ◽

Vol 37 (1) ◽

pp. 201-201

Author(s):

Thomas Frayne

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Stanford University ◽

Absolute Geometry ◽

Alfred Tarski ◽

New Foundations

J. R. Shoenheld. Some applications of degrees. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 56–59.

Journal of Symbolic Logic ◽

10.2307/2272770 ◽

1972 ◽

Vol 37 (3) ◽

pp. 610-610

Author(s):

S. K. Thomason

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Stanford University ◽

Alfred Tarski

Richard Montague. Two contributions to the foundations of set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, California, 1962, pp. 94–110.

Journal of Symbolic Logic ◽

10.2307/2271137 ◽

1969 ◽

Vol 34 (2) ◽

pp. 308-308

Author(s):

Solomon Feferman

Keyword(s):

Philosophy Of Science ◽

Set Theory ◽

International Congress ◽

Stanford University ◽

Alfred Tarski ◽

Richard Montague

Roger C. Lyndon. Metamathematics and algebra: An example. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford1962, pp. 143–150.

Journal of Symbolic Logic ◽

10.2307/2270876 ◽

1970 ◽

Vol 34 (4) ◽

pp. 653-653

Author(s):

Arnold Oberschelp

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Stanford University ◽

Alfred Tarski ◽

And Algebra

J. Richard Büchi. Weak second-order arithmetic and finite automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 66–92. - J. Richard Büchi. On a decision method in restricted second order arithmetic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 1–11.

Journal of Symbolic Logic ◽

10.2307/2271342 ◽

1963 ◽

Vol 28 (1) ◽

pp. 100-102 ◽

Cited By ~ 9

Author(s):

Robert McNaughton

Keyword(s):

Philosophy Of Science ◽

Finite Automata ◽

Second Order ◽

International Congress ◽

Stanford University ◽

Second Order Arithmetic ◽

Alfred Tarski ◽

Decision Method ◽

Order Arithmetic

John Myhill. Recursive equivalence types and combinatorial functions. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 46–55.

Journal of Symbolic Logic ◽

10.2307/2270491 ◽

1966 ◽

Vol 31 (3) ◽

pp. 510-511

Author(s):

J. C. E. Dekker

Keyword(s):

Philosophy Of Science ◽

International Congress ◽

Stanford University ◽

Alfred Tarski