You probably know it, but just in case, for me one of the best books (very nicely explaining) is Rossi: https://books.google.pl/books/about/Theorems_Corollaries_Lemmas_and_Methods.html?id=kSwVGbBtel8C&redir_esc=y

I registered an account at Beehaw 😁

I like logic too, the proofs at the beginning can be done almost exclusively by truth tables and de Morgan laws (at least at Introductory level course). Anyway, best luck and fun from it!