A description of the refutation procedure for a finite set of formulas February 02, 2018 at 07:25 0 comments Logic & Philosophy of Mathematics
Abbreviated linear form (Beginner's Modal Logic) February 02, 2018 at 06:28 3 comments Logic & Philosophy of Mathematics
Comments