Logic, Symbolic and mathematical

7 books