1. Anderson, R., Bledsoe, W.: A linear format for resolution with merging and a new technique for establishing completeness. J. ACM 17(3), 525–534 (1970)
2. Aristotle, Analytica Posteriora, Athens, Greece, 340 BC
3. Berkeley, G.: The Analyst: Or, a Discourse Addressed to an Infidel Mathematician, Dublin (1734)
4. Cohen, P.J.: Set Theory and the Continuum Hypothesis, 4th edn. W. A. Benjamin, New York (1996)
5. Devlin, K.: The Joy of Sets: Fundamentals of Contemporary Set Theory, 2nd edn. Springer, New York (1994)