H.C.M. [Harrie] de Swart

Cabbolet, Marcoen J. T. F. and Swart, H. C. M. [Harrie] de. 2014. “Set Matrix Theory as a Physically Motivated Generalization of Zermelo-Fraenkel Set Theory.” Logique et Analyse 57(225): 59–82.

Hout, Eliora van der, Stecher, Jack Douglas and Swart, H. C. M. [Harrie] de. 2007. “A Critical Discussion of the Characteristic Properties of List PR and FPTP Systems.” Analyse & Kritik 29(2): 259–268.

Jurius, Herman and de Swart, H. C. M. [Harrie]. 2001. “Implication with Possible Exceptions.” The Journal of Symbolic Logic 66(2): 517–535.

Perrick, Michael and Swart, H. C. M. [Harrie] de. 1993. “Quantified Modal Logic, Reference and Essentialism.” Logique et Analyse 36(143–144): 219–231.

de Swart, H. C. M. [Harrie]. 1978. “First Steps in Intuitionistic Model Theory.” The Journal of Symbolic Logic 43: 3–12.

de Swart, H. C. M. [Harrie]. 1980. “Gentzen-Type Systems for C, K and several Extensions of C and K: Constructive Completeness Proofs and Effective Decision Procedures for these Systems.” Logique et Analyse 23(90–91): 263–284.

Swart, H. C. M. [Harrie] de. 2018. Philosophical and Mathematical Logic. Springer Undergraduate Texts in Philosophy. Berlin: Springer, doi:10.1007/978-3-030-03255-5.

de Swart, H. C. M. [Harrie] and Posy, Carl J. 1981. “Validity and Quantification in Intuitionism.” The Journal of Philosophical Logic 10(1): 117–126.

de Swart, H. C. M. [Harrie] and Rauszer, Cecylia M. 1995. “Different Approaches to Knowledge, Common Knowledge and Aumann’s Theorem.” in Knowledge and Belief in Philosophy and Artificial Intelligence, edited by Armin Laux and Heinrich Theodor Wansing, pp. 87–102. Berlin: Akademie Verlag.

Swart, H. C. M. [Harrie] de, Verhoeff, Tom and Brands, Renske. 1997. “Hintikka’s ‘The Principles of Mathematics Revisited’ [review of Hintikka (1996)].” Logique et Analyse 40(159): 281–289.

Hintikka, Jaakko. 1996. The Principles of Mathematics Revisited. Cambridge: Cambridge University Press.