Classical and Non-Classical Logics
Schechter, Eric
评分 暂无
So-called classical logic - the logic developed in the early twentieth century by Gottlob Frege, Bertrand Russell, and others - is computationally the simplest of the major logics, and it is adequa
