Open sm4sa opened 1 year ago
"This chapter pulls together in one place a formal validation of the claim that our model of propositional logic satisfies all of the =inference rules of that logic."
Extra "=" that shouldn't be there
"This chapter pulls together in one place a formal validation of the claim that our model of propositional logic satisfies all of the =inference rules of that logic."
Extra "=" that shouldn't be there