Report copyright - Automatische Deduktion, SS 2017, vom 13.05.2017 ...[CL73]Chin-Liang Chang and Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973
Please pass captcha verification before submit form