This is a problem set with exercises from the book: A logical approach to discrete math.
mathematics
Description
This is a problem set with exercises from the book: A logical approach to discrete math. I'll attach the pdf of the theorems used in writing the various proofs in the problem set. If you need access to the entire pdf of the book I can send you a link.
Work on exercises 4.2, 4.6, 4.8 and 4.10
Link to entire textbook pdf: [Texts and Monographs in Computer Science] David Gries, Fred B. Schneider - A Logical Approach to Discrete Math (1993, Springer) - libgen.lc.pdf
