1. V.I. Arnold, From Hilbert’s superposition problem to dynamical systems. Am. Math. Mon. 111(7), 608–624 (2004). ISSN 0002-9890
2. G.D.W. Berry, Peirce’s contributions to the logic of statements and quantifiers, in Studies in the Philosophy of Charles Sanders Peirce: First Series, ed. by P.P. Wiener, F.H. Young (Harvard University Press, Cambridge, 1952), pp. 153–165
3. R.T. Boute, How to calculate proofs: bridging the cultural divide. Not. Am. Math. Soc. 60(2), 173–191 (2013)
4. A. Church, Introduction to Mathematical Logic. Princeton Landmarks in Mathematics and Physics (Princeton University Press, Princeton, 1996). Tenth printing. ISBN 0-691-02906-7
5. P.J. Cohen, Set Theory and the Continuum Hypothesis (Dover, Mineola, 2008). ISBN-10 0-486-46921-2; QA248.C614 2008; LCCC No. 2008042847 511.3’22—dc22