J. R. Hindley, B. Lercher, and J. P. Seldin. Introduction to combinatory logic. London Mathematical Society lecture note series, no. 7, Cambridge at the University Press, London and New York1972, 170 pp [Book Review]

Journal of Symbolic Logic 38 (3):518 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273051

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

J. Roger Hindley and Jonathan P. Seldin. Introduction to combinators and λ-calculus. London Mathematical Society student texts, no. 1. Cambridge University Press, Cambridge etc. 1986, vi + 360 pp. [REVIEW]J. L. Krivine - 1988 - Journal of Symbolic Logic 53 (3):985-986.
Combinatory logic. Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory logic. Volume II. Studies in logic and the foundations of mathematics, vol. 65. North-Holland Publishing Company, Amsterdam and London 1972, XIV + 520 pp. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
Linear logic in computer science, edited by Ehrhard T., Girard J.-Y., Ruet P., and Scott P., London Mathematical Society Lecture Note Series, 316. Cambridge University Press, 2004, 392 pp. [REVIEW]Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297-299.
Beller A., Jensen R., and Welch P.. Coding the universe. London Mathematical Society lecture note series, no. 47. Cambridge University Press, Cambridge etc. 1982, 353 pp. [REVIEW]Sy D. Friedman - 1985 - Journal of Symbolic Logic 50 (4):1081-1081.
Dodd A. and Jensen R.. The core model. Annals of mathematical logic, vol. 20 , pp. 43–75.Dodd Tony and Jensen Ronald. The covering lemma for K. Annals of mathematical logic, vol. 22 , pp. 1–30.Dodd A. J. and Jensen R. B.. The covering lemma for L[U]. Annals of mathematical logic, pp. 127–135.Donder D., Jensen R. B. and Koppelberg B. J.. Some applications of the core model. Set theory and model theory, Proceedings of an informal symposium held at Bonn, June 1–3, 1979, edited by Jensen R. B. and Prestel A., Lecture notes in mathematics, vol. 872, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 55–97.Dodd A.. The core model. London Mathematical Society lecture note series, no. 61. Cambridge University Press, Cambridge etc. 1982, xxxviii + 229 pp. [REVIEW]William Mitchell - 1984 - Journal of Symbolic Logic 49 (2):660-662.
Ernest Schimmerling. Covering properties of core models. Sets and proofs. , London Mathematical Society Lecture Note Series 258. Cambridge University Press, Cambridge, 1999, pp. 281–299. - Peter Koepke. An introduction to extenders and core models for extender sequences. Logic Colloquium '87 , Studies in Logic and the Foundations of Mathematics 129. North-Holland, Amsterdam, 1989, pp. 137–182. - William J. Mitchell. The core model up to a Woodin cardinal. Logic, methodology and philosophy of science, IX , Studies in Logic and the Foundations of Mathematics 134, North-Holland, Amsterdam, 1994, pp. 157–175. - Benedikt Löwe and John R. Steel. An introduction to core model theory. Sets and proofs , London Mathematical Society Lecture Note Series 258, Cambridge University Press, Cambridge, 1999, pp. 103–157. - John R. Steel. Inner models with many Woodin cardinals. Annals of Pure and Applied Logic, vol. 65 no. 2 , pp. 185–209. - Ernest Schimmerling. Combinatorial principles in the core mode. [REVIEW]Martin Zeman - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.
H. G. Dales and W. H. Woodin. An introduction to independence for analysts. London Mathematical Society lecture note series, vol. 115. Cambridge University Press, Cambridge etc. 1987, xiii + 241 pp. [REVIEW]Thomas Jech - 1990 - Journal of Symbolic Logic 55 (1):361-362.
Prest Mike. Model theory and modules. London Mathematical Society lecture note series, no. 130. Cambridge University Press, Cambridge etc. 1988, xviii + 380 pp. [REVIEW]T. G. Kucera - 1989 - Journal of Symbolic Logic 54 (3):1115-1118.

Analytics

Added to PP
2016-06-30

Downloads
40 (#566,206)

6 months
10 (#423,770)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.
Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Mathematical Logic Quarterly 20 (19‐22):289-306.
Combinatory Reductions and Lambda Reductions Compared.Roger Hindley - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):169-180.

Add more citations

References found in this work

No references found.

Add more references