Title: Proof and Disproof in Formal Logic
Subjects: E vidence, Mathematische Logik, Evidence, Logique, Modern Logic, Évidence, Logic, symbolic and mathematical, Proof theory