agentultra on Book of Proof – An introduction to the methods of proving mathematical theorems · Hackerly

Comment on Book of Proof – An introduction to the methods of proving mathematical theorems

Also a good (non-free) book: A Logical Approach to Discrete Mathematics