Report - Texts in Computing - PhilPapers · V Classical deductive computing with classical logic 315 7 Classical logic and deductive computation 317 7.1 The computational problem of classical

Please pass captcha verification before submit form