Ask HN: Best Introductory Books on Logic? · HackerTrans