But you don't have to: we're sharing the exact same opinion here. fsx got what he asked for, namely book titles.
Greets,
Philip
Type: Posts; User: Snafuist
But you don't have to: we're sharing the exact same opinion here. fsx got what he asked for, namely book titles.
Greets,
Philip
The standard text on the topic is "Introduction to Mathematical Logic" by Elliott Mendelson.
Citing from the book cover:
- propositional logic
- first-order logic
- first-order number theory...