The Principle of Contradiction and Symbolic Logic. Issue 2 (2nd April 2020)