Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/smorynski

Craig Smoryński (smorynski)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Smoryński, Craig. 1975. Consistency and Related Metamathematical Properties.” 75–02. Amsterdam: Department of Mathematics, University of Amsterdam.
    Smoryński, Craig. 1977. The Incompleteness Theorems.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 821–865. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.
    Smoryński, Craig. 1978. Beth’s Theorem and Self-Referential Sentences.” in Logic Colloquium ’77, edited by Angus J. MacIntyre, Leszek Pacholski, and Jeffrey Bruce Paris, pp. 253–267. Studies in Logic and the Foundations of Mathematics n. 96. Amsterdam: North-Holland Publishing Co.
    Smoryński, Craig. 1981. Fifty Years of Self-Reference.” Notre Dame Journal of Formal Logic 22(4): 357–374.
    Smoryński, Craig. 1982. Nonstandard Models and Constructivity.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 459–464. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
    Smoryński, Craig. 1984a. Modal Logic and Self-Reference.” in Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, edited by Dov M. Gabbay and Franz Guenthner, pp. 441–495. Synthese Library n. 165. Dordrecht: D. Reidel Publishing Co. Reprinted in revised form as Smoryński (2004).
    Smoryński, Craig. 1984b. Lectures on Nonstandard Models of Arithmetic.” in Logic Colloquium ’82 – Proceedings of the Colloquium Held in Florence 23–28 August, 1982, edited by Gabriele Lolli, Giuseppe Longo, and Annalisa Marcja, pp. 1–70. Studies in Logic and the Foundations of Mathematics n. 112. Amsterdam: North-Holland Publishing Co.
    Smoryński, Craig. 1985. Self-Reference and Modal Logic. Berlin: Springer.
    Smoryński, Craig. 1987. Quantified Modal Logic and Self-Reference.” Notre Dame Journal of Formal Logic 28: 356–370.
    Smoryński, Craig. 1988. Hilbert’s Programme.” 522. Utrecht: Department of Mathematics, University of Utrecht.
    Smoryński, Craig. 1991. Review of Shapiro (1985).” The Journal of Symbolic Logic 56: 1496–1499.
    Smoryński, Craig. 2004. Modal Logic and Self-Reference.” in Handbook of Philosophical Logic, Volume XI, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 1–53. Dordrecht: Springer. First publication as Smoryński (1984a).

Further References

    Shapiro, Stewart, ed. 1985. Intensional Mathematics. Studies in Logic and the Foundations of Mathematics n. 113. Amsterdam: North-Holland Publishing Co.