Reviews
Lisa Reidhaar-Olson. A new proof of the fixed-point theorem of provability logic. Notre Dame journal of formal logic, vol. 31 (1990), pp. 37–43.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 714-715
-
- Article
- Export citation
Zachary Gleit and Warren Goldfarb. Characters and fixed points in provability logic. Notre Dame journal of formal logic., pp. 26–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 715
-
- Article
- Export citation
Dick de Jongh and Franco Montagna. Provable fixed points. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 34 (1988), pp. 229–250.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 715-717
-
- Article
- Export citation
Frans Voorbraak. A simplification of the completeness proofs for Guaspari and Solovay's R. Notre Dame journal of formal logic, vol. 31 (1990), pp. 44–63.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 717-719
-
- Article
- Export citation
Melvin Fitting. First-order logic and automated theorem proving. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, etc., 1990, xv + 242 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 719
-
- Article
- Export citation
Tony Dodd. Prolog. A logical approach. Oxford University Press, Oxford, New York, and Tokyo, 1990, xii + 556 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 719
-
- Article
- Export citation
Lincoln A. Wallen. Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1990, xv + 239 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 719-720
-
- Article
- Export citation
Judea Pearl. Probabilistic reasoning in intelligent systems: networks of plausible inference. Series in representation and reasoning. Morgan Kaufmann, San Mateo1988, xix + 552 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 721
-
- Article
- Export citation
Frank Plumpton Ramsey. On truth. Original manuscript materials (1927–1929) from the Ramsey collection at the University of Pittsburgh. Edited by Nicholas Rescher and Ulrich Majer. Episteme, vol. 16. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, xxi + 129 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 721-723
-
- Article
- Export citation
M. J. Cresswell. Entities and indices. Studies in linguistics and philosophy, vol. 41. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xi + 274 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 723-725
-
- Article
- Export citation
T. E. Forster. Set theory with a universal set. Exploring an untyped universe. Oxford logic guides, no. 20. Clarendon Press, Oxford University Press, Oxford and New York1992, viii + 152 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 725-728
-
- Article
- Export citation
Other
European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 729-766
-
- Article
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 767-768
-
- Article
- Export citation
Front matter
JSL volume 58 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 58 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation