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.

A. Hajnal

doi:10.2307/2269730

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

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

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

Richard Montague. Set theory and higher-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 131–148.

Journal of Symbolic Logic ◽

10.2307/2272187 ◽

1975 ◽

Vol 40 (3) ◽

pp. 459-459

Author(s):

Richard Mansfield

Keyword(s):

Set Theory ◽

Higher Order ◽

Order Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Higher Order Logic ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing ◽

Richard Montague

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

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

Wilhelm Ackermann. Grundgedanken einer typenfreien Logik. Essays on the foundations of mathematics, dedicated to A. A. Fraenkelon 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. 143–155.

Journal of Symbolic Logic ◽

10.2307/2271679 ◽

1967 ◽

Vol 32 (2) ◽

pp. 259-260

Author(s):

Ronald Harrop

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Hebrew University

Download Full-text

Elliott Mendelson. On non-standard models for number theory. 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. 259–268.

Journal of Symbolic Logic ◽

10.2307/2271289 ◽

1967 ◽

Vol 32 (1) ◽

pp. 128-128

Author(s):

Steven Orey

Keyword(s):

Number Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Hebrew University ◽

Standard Models

Download Full-text

Michael O. Rabin. Non-standard models and independence of the induction axiom. 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. 287–299; also second edition, Magnes Press, Jerusalem 1966, pp. 287–299.

Journal of Symbolic Logic ◽

10.2307/2271760 ◽

1973 ◽

Vol 38 (1) ◽

pp. 159-159

Author(s):

C. Smorynski

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Hebrew University ◽

Standard Models

Download Full-text

Reviews - Paul Bernays. Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre. 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. 3–49.

Journal of Symbolic Logic ◽

10.2307/2964653 ◽

1962 ◽

Vol 27 (3) ◽

pp. 353-354

Author(s):

J. C. Shepherdson

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Hebrew University

Download Full-text

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