B. Courcelle. Equational theories and equivalences of programs. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 289–302. - J. W. de Barker and J. I. Zucker. Derivatives of programs. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 321–343. - E. Engeler. An algorithmic model of strict finitism. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 345–357.

Steven S. Muchnick

doi:10.2307/2274158

B. Courcelle. Equational theories and equivalences of programs. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 289–302. - J. W. de Barker and J. I. Zucker. Derivatives of programs. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 321–343. - E. Engeler. An algorithmic model of strict finitism. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 345–357.

Journal of Symbolic Logic ◽

10.2307/2274158 ◽

1984 ◽

Vol 49 (3) ◽

pp. 990-991 ◽

Cited By ~ 1

Author(s):

Steven S. Muchnick

Keyword(s):

New York ◽

Mathematical Logic ◽

Computer Science ◽

Publishing Company ◽

Mathematical Society ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Algorithmic Model ◽

János Bolyai ◽

Logic In Computer Science

Download Full-text

Z. Szentmiklóssy. S-spaces and L-spaces under Martin's axiom. Topology, Volume II, edited by A. Császár, Colloquia mathematica Societatis János Bolyai, no. 23, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1980, pp. 1139–1145. - Zoltán Balogh. On compact Hausdorff spaces of countable tightness. Proceedings of the American Mathematical Society, vol. 105 (1989), pp. 755–764.

Bulletin of Symbolic Logic ◽

10.2178/bsl/1182353879 ◽

2002 ◽

Vol 8 (2) ◽

pp. 306-307

Author(s):

Piotr Koszmider

Keyword(s):

New York ◽

American Mathematical Society ◽

Publishing Company ◽

Mathematical Society ◽

Hausdorff Spaces ◽

North Holland Publishing Company ◽

Countable Tightness ◽

Martin’S Axiom ◽

North Holland Publishing ◽

János Bolyai

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

R. O. Gandy. Computable functionals of finite type I. 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, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 202–242.

Journal of Symbolic Logic ◽

10.1017/s0022481200092847 ◽

1970 ◽

Vol 35 (1) ◽

pp. 157-158

Author(s):

Richard A. Platek

Keyword(s):

New York ◽

Mathematical Logic ◽

Finite Type ◽

Summer School ◽

Recursion Theory ◽

Publishing Company ◽

Type I ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Solomon Feferman. A language and axioms for explicit mathematics. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 87–139. - Solomon Feferman. Constructive theories of functions and classes. Logic colloquium '78, Proceedings of the colloquium held in Mons, August 1978, edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 159–224.

Journal of Symbolic Logic ◽

10.2307/2274115 ◽

1984 ◽

Vol 49 (1) ◽

pp. 308-311

Author(s):

G. R. Renardel de Lavalette ◽

A. S. Troelstra

Keyword(s):

New York ◽

Publishing Company ◽

Mathematical Society ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Australian Mathematical Society ◽

North Holland Publishing ◽

Lecture Notes ◽

Research Institute

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

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

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

Seymour Ginsburg. Algebraic and automata-theoretic properties of formal languages. Fundamental studies in computer science, vol. 2. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, xii + 313 pp.

Journal of Symbolic Logic ◽

10.2307/2272400 ◽

1976 ◽

Vol 41 (4) ◽

pp. 788-789

Author(s):

Arto Salomaa

Keyword(s):

New York ◽

Computer Science ◽

Formal Languages ◽

Publishing Company ◽

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 ◽

The Continuum

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 ◽

Cited By ~ 1

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