The book by Andrew Simpson, in the propositional logic chapter3. In the introduction, it is stated that those who wish to study the subject of propositional logic further are ought to refer to [BMN97] or [CLP00], and for more advanced refer to [Men87]
What are these codes. where do I refer to find these codes and notes attached to them?
thanks a lot
What are these codes. where do I refer to find these codes and notes attached to them?
thanks a lot