1. Abeles, F. F. 1994. Herbrand’s fundamental theorem and the beginning of logic programming, Modern Logic, 4, 63–73
2. Abeles, F. F. 2005. From the tree method in modern logic to the beginning of automated theorem proving, in A. Shell-Gelasch and D. Jardine, eds., From Calculus to Computers, Washington: The Mathematical Association of America, 149–160
3. Bain, A. 1870. Logic. Part First, Deduction. Part Second, Induction, Whitefish Montana: Kessinger (2004)
4. Beziau, J. 2016. Is the principle of contradiction a consequence of to (x^(2)=x)? Логико-философские штудии, 13, 10-14.
5. Bolzano, B. 1837. WissenschaftslehreI– IV, Sulzbach: J. Seidel.