Michael O. Rabin. Weakly definable relations and special automata. Mathematical logic and foundations of set theory, Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 1–23.

Journal of Symbolic Logic ◽

10.2307/2271833 ◽

1975 ◽

Vol 40 (4) ◽

pp. 622-623

Author(s):

Dirk Siefkes

Keyword(s):

Mathematical Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

International Colloquium ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Definable Relations ◽

Academy Of Sciences

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 ◽

Summer School ◽

Recursion Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Models Of Set Theory

Download Full-text

Hao Wang. Between number theory and set theory. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 478–506.

Journal of Symbolic Logic ◽

10.1017/s0022481200057340 ◽

1965 ◽

Vol 30 (1) ◽

pp. 100-100

Author(s):

Steven Orey

Keyword(s):

Mathematical Logic ◽

Number Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Andrzej Mostowski. Recent results in set theory. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1967, pp. 82–96. - G. Kreisel, A. Robinson, L. Kalmár, and A. Mostowski. Discussion. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1967, pp. 97–108. - Andrzej Mostowski. O niektórych nowych wynikach meta-matematycznych dotyczących teorii mnogości (On some new metamathematical results concerning set theory). Polish with Russian and English summaries. Studia logica, vol. 20 (1967), pp. 99–116.

Journal of Symbolic Logic ◽

10.2307/2272452 ◽

1972 ◽

Vol 37 (4) ◽

pp. 765-766

Author(s):

T. Jech

Keyword(s):

Philosophy Of Science ◽

Philosophy Of Mathematics ◽

Publishing Company ◽

Foundations Of Mathematics ◽

International Colloquium ◽

North Holland Publishing Company ◽

Imre Lakatos ◽

North Holland Publishing

Download Full-text

Hao Wang. Ordinal numbers and predicative set theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 216–239. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 624–651.

Journal of Symbolic Logic ◽

10.2307/2270158 ◽

1965 ◽

Vol 30 (2) ◽

pp. 250-250

Author(s):

Steven Orey

Keyword(s):

Mathematical Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Ordinal Numbers ◽

North Holland Publishing

Download Full-text

A. Tarski. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schütte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 275–288.

Journal of Symbolic Logic ◽

10.2307/2271553 ◽

1971 ◽

Vol 36 (1) ◽

pp. 161-162

Author(s):

Ralph Seifert

Keyword(s):

Mathematical Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Equational Logic ◽

North Holland Publishing Company ◽

Equational Theories ◽

North Holland Publishing

Download Full-text

A. A. Markov. An approach to constructive mathematical logic. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 283–294. - A. A. Markov. Essai de construction d'une logique de la mathématique constructive. Revue Internationale de philosophic, vol. 25 (1971), pp. 477–507.

Journal of Symbolic Logic ◽

10.2307/2272282 ◽

1975 ◽

Vol 40 (1) ◽

pp. 85-85

Author(s):

Brian H. Mayoh

Keyword(s):

Mathematical Logic ◽

Philosophy Of Science ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

The Third ◽

North Holland Publishing

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):

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

Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165 pp.

Journal of Symbolic Logic ◽

10.2307/2274154 ◽

1984 ◽

Vol 49 (3) ◽

pp. 975-980

Author(s):

Sy D. Friedman

Keyword(s):

New York ◽

Mathematical Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Hao Wang. A variant to Turing's theory of computing machines. Journal of the Association for Computing Machinery, vol. 4 (1957), pp. 63–92. Reprinted as A variant to Turing's theory of calculating machines, in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 127–159. - Hao Wang. Universal Turing machines: an exercise in coding. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 69–80. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics. Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 160–174.

Journal of Symbolic Logic ◽

10.1017/s0022481200117712 ◽

1963 ◽

Vol 28 (4) ◽

pp. 288-289

Author(s):

Steven Orey

Keyword(s):

Mathematical Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Turing Machines ◽

North Holland Publishing Company ◽

Computing Machinery ◽

Theory Of Computing ◽

North Holland Publishing ◽

Computing Machines

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 ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Partition Relations ◽

North Holland Publishing ◽

Combinatorial Set ◽

Combinatorial Set Theory

Download Full-text