Smoryński C.. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp [Book Review]

Journal of Symbolic Logic 53 (1):306-309 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200029157

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

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

Felgner Ulrich. Models of ZF-set theory. Lecture notes in mathematics, no. 223, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, vi + 173 pp.Jech Thomas J.. Lectures in set theory with particular emphasis on the method of forcing. Lecture notes in mathematics, no. 217, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, v + 137 pp. [REVIEW]Frank R. Drake - 1975 - Journal of Symbolic Logic 40 (1):92-93.
Beeson Michael J.. Foundations of constructive mathematics. Metamathematical studies. Ergebnisse der Mathematik und ihrer Grenzgebiete, ser. 3 vol. 6. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1985, xxiii + 466 pp. [REVIEW]William A. Howard - 1987 - Journal of Symbolic Logic 52 (1):278-279.
Poizat Bruno. A course in model theory. An introduction to contemporary mathematical logic. English translation by Klein Moses of jsl lviii 1074. Universitext. Springer, new York, Berlin, heidelberg, etc., 2000, XXXI+ 443 pp. [REVIEW]Gregory Cherlin - 2001 - Bulletin of Symbolic Logic 7 (4):521-522.
Carl Friedrich Graumann (Hrsg.): Psychologie im Nationalsozialismus. Berlin/Heidelberg/New York/Tokyo: Springer‐Verlag, 1985. 318 Seiten, DM 24,80. [REVIEW]Carsten Klingemann - 1985 - Berichte Zur Wissenschaftsgeschichte 8 (4):218-218.
B. L. van der Waerden: A History of Algebra. From al‐Khwarizmi to Emmy Noether. Berlin/Heidelberg/New York/Tokyo: Springer‐Verlag 1985. xi, 271 Seiten, 28 Figuren. Leinen, DM 98,‐. [REVIEW]Christoph J. Scriba - 1987 - Berichte Zur Wissenschaftsgeschichte 10 (2):125-126.
Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
Review: C. Smorynski, Self-Reference and Modal Logic. [REVIEW]George Boolos - 1988 - Journal of Symbolic Logic 53 (1):306-309.
B. L. van der Waerden. A History of Algebra: From al-Khwarizmi to Emmy Noether. Berlin, Heidelberg, New York, Tokyo: Springer Verlag, 1985. Pp. xi + 271. ISBN 0-387-13610-X DM 98.00 . [REVIEW]J. J. Gray - 1987 - British Journal for the History of Science 20 (1):96-97.
Thomas Cremer: Von der Zellenlehre zur Chromosomentheorie. Naturwissenschaftliche Erkenntnis und Theorienwechsel in der frühen Zell‐ und Vererbungsforschung. Berlin‐Heidelberg‐New York‐Tokyo: Springer‐Verlag 1985. XVI + 384 Seiten, DM 135,‐. [REVIEW]Hans-Jörg Rheinberger - 1987 - Berichte Zur Wissenschaftsgeschichte 10 (2):127-128.
Mathematics Gesammelte Abhandlungen. By David Hubert. 2nd edition. Berlin: Springer Verlag, 1970. 3 vols. Pp. xvi + 539; viii + 453; vii + 435 $27.00. Hilbert Gedenkband. Ed. by K. Reidemeister. Berlin: Springer Verlag, 1971. Pp. v + 86. DM 22. [REVIEW]J. D. North - 1972 - British Journal for the History of Science 6 (2):208-209.
Hilbert D. and Bernays P.. Grundlagen der Mathematik II. Second edition of V 16. Springer-Verlag, Berlin, Heidelberg, and New York, 1970, XIV + 561 pp. [REVIEW]G. T. Kneebone - 1974 - Journal of Symbolic Logic 39 (2):357-357.
Harel David. First-order dynamic logic. Lecture notes in computer science, vol. 68. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 133 pp. [REVIEW]Jerzy Tiuryn - 1982 - Journal of Symbolic Logic 47 (2):453-454.
Sikorski Roman. Boolean algebras. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 25. Springer-Verlag, Berlin-Göttingen-Heidelberg 1960, IX + 176 pp.Sikorski Roman. Boolean algebras. Second edition. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 25. Academic Press, Inc., New York, and Springer-Verlag, Berlin-Göttingen-Heidelberg, 1964, X + 237 pp. [REVIEW]Donald Monk - 1966 - Journal of Symbolic Logic 31 (2):251-253.
Hermes Hans. Introduction to mathematical logic. English translation of XXXVIII 518 by Diana Schmidt. Springer-Verlag, New York, Heidelberg, and Berlin, 1973, XI + 242 pp. [REVIEW]Don Pigozzi - 1980 - Journal of Symbolic Logic 45 (1):187-188.
Fenstad Jens E.. General recursion theory. An axiomatic approach. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, XI + 225 pp. [REVIEW]Douglas Cenzer - 1982 - Journal of Symbolic Logic 47 (3):696-698.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,085,484)

6 months
1 (#1,471,540)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references