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

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

J. C. E. Dekker. Regressive isols. 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. 272–296.

Journal of Symbolic Logic ◽

10.2307/2270958 ◽

1969 ◽

Vol 34 (3) ◽

pp. 519-519

Author(s):

C. E. Bredlau

Keyword(s):

New York ◽

Mathematical Logic ◽

Summer School ◽

Recursion Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Carol Karp. A proof of the relative consistency of the continuum hypothesis. 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. 1–32.

Journal of Symbolic Logic ◽

10.2307/2270566 ◽

1970 ◽

Vol 35 (2) ◽

pp. 344-345

Author(s):

Leslie H. Tharp

Keyword(s):

New York ◽

Mathematical Logic ◽

Summer School ◽

Continuum Hypothesis ◽

Recursion Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Download Full-text

Abraham Robinson. Forcing in model theory. Symposia mathematica, vol. 5, Istituto Nazionale di Alta Matematica, Academic Press, London and New York 1971, pp. 69–82. - Jon Barwise and Abraham Robinson. Completing theories by forcing. Annals of mathematical logic, vol. 2 no. 2 (1970), pp. 119–142. - Abraham Robinson. Infinite forcing in model theory. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 317–340. - Abraham Robinson. Forcing in model theory. Actes du Congrès International des Mathematiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 245–250.

Journal of Symbolic Logic ◽

10.2307/2271854 ◽

1975 ◽

Vol 40 (4) ◽

pp. 633-634 ◽

Author(s):

H. Jerome Keisler

Keyword(s):

New York ◽

Mathematical Logic ◽

Model Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Academic Press ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

J. R. Moschovakis. Disjunction and existence in formalized intuitionistic analysis. 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. 309–331.

Journal of Symbolic Logic ◽

10.2307/2271479 ◽

1970 ◽

Vol 35 (4) ◽

pp. 587-588 ◽

Author(s):

W. A. Howard

Keyword(s):

New York ◽

Mathematical Logic ◽

Summer School ◽

Recursion Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

C. E. M. Yates. Recursively enumerable degrees and the degrees less than 0(1). 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. 264–271.

Journal of Symbolic Logic ◽

10.2307/2271481 ◽

1970 ◽

Vol 35 (4) ◽

pp. 589-589

Author(s):

S. K. Thomason

Keyword(s):

New York ◽

Mathematical Logic ◽

Summer School ◽

Recursion Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Recursively Enumerable ◽

North Holland Publishing

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/2274152 ◽

1984 ◽

Vol 49 (3) ◽

pp. 968-971

Author(s):

Daniel Lascar

Keyword(s):

New York ◽

Mathematical Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

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/2274153 ◽

1984 ◽

Vol 49 (3) ◽

pp. 971-975

Author(s):

Akihiro Kanamori

Keyword(s):

New York ◽

Mathematical Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

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

J. L. Bell and M. Machover. A course in mathematical logic. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1977, xix + 599 pp.

Journal of Symbolic Logic ◽

10.2307/2273208 ◽

1980 ◽

Vol 45 (2) ◽

pp. 378-379

Author(s):

Perry Smith

Keyword(s):

New York ◽

Mathematical Logic ◽

Publishing Company ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text