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.

Richard Mansfield

doi:10.2307/2272187

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

Jaakko Hintikka. Distributive normal forms in first-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. 48–91. - Jaakko Hintikka. Distributive normal forms and deductive interpolation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 185–191.

Journal of Symbolic Logic ◽

10.2307/2269830 ◽

1966 ◽

Vol 31 (2) ◽

pp. 267-268

Author(s):

F. C. Oglesby

Keyword(s):

Normal Forms ◽

Order Logic ◽

Publishing Company ◽

First Order Logic ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

First Order ◽

Recursive Functions ◽

Formal Systems ◽

North Holland Publishing

Download Full-text

Ronald Harrop. A relativization procedure for propositional calculi, with an application to a generalized form of Post's theorem. Proceedings of the London Mathematical Society, vol. 14 (1964), pp. 595–617. - Ronald Harrop. Some generalizations and applications of a relativization procedure for propositional calculi. 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. 12–41.

Journal of Symbolic Logic ◽

10.2307/2271284 ◽

1967 ◽

Vol 32 (1) ◽

pp. 125-126

Author(s):

W. E. Singletary

Keyword(s):

London Mathematical Society ◽

Publishing Company ◽

Mathematical Society ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Recursive Functions ◽

Formal Systems ◽

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

N. Chomsky and M. P. Schützenberger. The algebraic theory of context-free languages. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 118–161.

Journal of Symbolic Logic ◽

10.2307/2270782 ◽

1967 ◽

Vol 32 (3) ◽

pp. 388-389

Author(s):

G. H. Matthews

Keyword(s):

Computer Programming ◽

Algebraic Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing ◽

Context Free

Download Full-text

Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 87–94.

Journal of Symbolic Logic ◽

10.2307/2271271 ◽

1967 ◽

Vol 32 (1) ◽

pp. 119-119

Author(s):

J. A. Robinson

Keyword(s):

Computer Programming ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing

Download Full-text

Paul Erdös, András Hajnal, Attila Máté, and Richard Rado. Combinatorial set theory: partition relations for cardinals. Studies in logic and the foundations of mathematics, vol. 106; Disquisitiones mathematicae Hungaricae, vol. 13. North-Holland Publishing Company, Amsterdam, New York, and Oxford, and Akadémiai Kiadó, Budapest, 1984, 347 pp.

Journal of Symbolic Logic ◽

10.1017/s0022481200029182 ◽

1988 ◽

Vol 53 (1) ◽

pp. 310-312

Author(s):

Neil H. Williams

Keyword(s):

New York ◽

Set Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Partition Relations ◽

North Holland Publishing ◽

Combinatorial Set ◽

Combinatorial Set Theory

Download Full-text

R. B. Jensen. Concrete models of set theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 44–74.

Journal of Symbolic Logic ◽

10.2307/2270737 ◽

1970 ◽

Vol 35 (3) ◽

pp. 472-473

Author(s):

Frank R. Drake

Keyword(s):

New York ◽

Mathematical Logic ◽

Set Theory ◽

Summer School ◽

Recursion Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Models Of Set Theory

Download Full-text

G. Kreisel. On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 103–127. - G. Kreisel. Applications of mathematical logic to various branches of mathematics. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 37–49. - A. Robinson and G. Kreisel. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 50. - G. Kreisel. Models, translations, and interpretations. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 26–50.

Journal of Symbolic Logic ◽

10.2307/2963817 ◽

1959 ◽

Vol 24 (3) ◽

pp. 236-238

Author(s):

William Craig

Keyword(s):

Mathematical Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Henri Poincaré ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing ◽

Systems Studies ◽

Mathematical Interpretation

Download Full-text

Frank R. Drake. Set theory. An introduction to large cardinals. Studies in logic and the foundations of mathematics, vol. 76. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, xii + 351 pp.

Journal of Symbolic Logic ◽

10.2307/2272844 ◽

1978 ◽

Vol 43 (2) ◽

pp. 384-384

Author(s):

Azriel Levy

Keyword(s):

New York ◽

Set Theory ◽

Large Cardinals ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Yiannis N. Moschovakis. Descriptive set theory. Studies in logic and the foundations of mathematics, vol. 100. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, xii + 637 pp.

Journal of Symbolic Logic ◽

10.2307/2273241 ◽

1981 ◽

Vol 46 (4) ◽

pp. 874-876

Author(s):

Richard Mansfield

Keyword(s):

New York ◽

Set Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Descriptive Set Theory ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Descriptive Set

Download Full-text