Hello everyone I'm a second year software engineering student I would like recommendation for a math logic book that conations the following subjects :
1.structural induction
2.Propositional calculus
3.First-order logic
#Math logic
frigid whale
rugged sunBOT
livid geode
Discrete math and its applications by kenneth rosen has 1 and 3
Not sure about propositional calculus
Oh actually i think thats just another name for propositional logic? If so, this book has all 3 and is quite standard
frigid whale
Thank you very much I appreciate that