Not a textbook (just a book), but still a fun way to intuitively encounter formal logic - https://en.m.wikipedia.org/wiki/To_Mock_a_Mockingbird