R. O. Gandy. On the axiom of extensionality. The journal of symbolic logic, vol. 21 (1956), pp. 36–48, and vol. 24 no. 4 (for 1959, pub. 1961), pp. 287–300. - Dana Scott. More on the axiom of extensionality. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 115–131.

Azriel Lévy

doi:10.2307/2271630

R. O. Gandy. On the axiom of extensionality. The journal of symbolic logic, vol. 21 (1956), pp. 36–48, and vol. 24 no. 4 (for 1959, pub. 1961), pp. 287–300. - Dana Scott. More on the axiom of extensionality. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 115–131.

Journal of Symbolic Logic ◽

10.2307/2271630 ◽

1964 ◽

Vol 29 (3) ◽

pp. 142-142

Author(s):

Azriel Lévy

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Hebrew University

Download Full-text

Haskell B. Curry. Basic verifiability in the combinatory theory of restricted generality. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 165–189.

Journal of Symbolic Logic ◽

10.2307/2270734 ◽

1970 ◽

Vol 35 (3) ◽

pp. 469-470

Author(s):

Richard J. Orgass

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Hebrew University

Download Full-text

Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 206–220. - R. Routley and H. Montgomery. The inadequacy of Kripke's semantical analysis of D2 and D3. The journal of symbolic logic, vol. 33 (1968), p. 568.

Journal of Symbolic Logic ◽

10.1017/s0022481200092434 ◽

1970 ◽

Vol 35 (1) ◽

pp. 135-135

Author(s):

David Makinson

Keyword(s):

Modal Logic ◽

International Symposium ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

Semantical Analysis ◽

North Holland Publishing ◽

Propositional Calculi

Download Full-text

Richard Montague. Fraenkel's addition to the axioms of Zermelo. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 91–114.

Journal of Symbolic Logic ◽

10.2307/2269730 ◽

1966 ◽

Vol 31 (4) ◽

pp. 662-662

Author(s):

A. Hajnal

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Hebrew University ◽

Richard Montague

Download Full-text

Rudolf Carnap. On the use of Hilbert's ε-operator in scientific theories. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 156–164.

Journal of Symbolic Logic ◽

10.2307/2270270 ◽

1971 ◽

Vol 36 (2) ◽

pp. 320-321

Author(s):

H. Bohnert

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

Scientific Theories ◽

Rudolf Carnap ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Hebrew University

Download Full-text

Robert Feys. Logique formalisée et raisonnement juridique. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 312–321. - Jan Gregorowicz. L'argument a maiori ad minus et le problème de la logique juridique. Logique et analyse, n.s. vol. 5 (1962), pp. 66–75. - Ch. Perelman. Logique formelle, logique juridique. Logique et analyse, n.s. vol. 3 (1960), pp. 226–230. - Robert Feys and Marie-Thérèse Motte. Logique juridique, systèmes juridiques. Logique et analyse, n.s. vol. 2 (1959), pp. 143–147. - Georges Kalinowski. ‘Interprétation juridique et logique des propositions normatives. Logique et analyse, n.s. vol. 2 (1959), pp. 128–142.

Journal of Symbolic Logic ◽

10.2307/2270118 ◽

1968 ◽

Vol 33 (1) ◽

pp. 141-142

Author(s):

Nicholas A. Vonneuman

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Hebrew University ◽

Logique Formelle

Download Full-text

David Marker. Degrees of models of true arithmetic. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 233–242. - Julia Knight, Alistair H. Lachlan, and Robert I. Soare. Two theorems on degrees of models of true arithmetic. The journal of symbolic logic, vol. 49 (1984), pp. 425–436.

Journal of Symbolic Logic ◽

10.2307/2274409 ◽

1987 ◽

Vol 52 (2) ◽

pp. 562-563

Author(s):

Terrence S. Millar

Keyword(s):

New York ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

North Holland Publishing Company ◽

North Holland Publishing

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

G. Kreisel, D. Lacombe, and J. Shoenfield. Effective operations and partial recursive functionals. 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. 364–365. - G. Kreisel, D. Lacombe, and J. R. Shoenfield. Partial recursive functionals and effective operations. 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. 290–297.

Journal of Symbolic Logic ◽

10.2307/2269822 ◽

1966 ◽

Vol 31 (2) ◽

pp. 261-262

Author(s):

Yiannis N. Moschovakis

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

Charles Parsons. On a number theoretic choice schema and its relation to induction. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 459–473. - Charles Parsons. Review of the foregoing. Zentralblatt für Mathematik and ihre Grenzgebiete, vol. 202 (1971), pp. 12–13. - Charles Parsons. On n-quantifier induction. The journal of symbolic logic, vol. 37 (1972), pp. 466–482.

Journal of Symbolic Logic ◽

10.2307/2272677 ◽

1974 ◽

Vol 39 (2) ◽

pp. 342-342

Author(s):

Helmut Schwichtenberg

Keyword(s):

Proof Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

J. R. Shoenfield. The problem of predicativity. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 132–139.

Journal of Symbolic Logic ◽

10.2307/2270952 ◽

1969 ◽

Vol 34 (3) ◽

pp. 515-515

Author(s):

George S. Boolos

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Hebrew University

Download Full-text