The program is officially only for MacOS and Windows, but with a little work it's possible to get it running on Linux, as it's just Java.
The exercises are fun, and the program will not only check your work to make sure it's right, but also point out where and sometimes why it's wrong.
 - https://logiclx.humnet.ucla.edu/Logic/Download
 - https://www.amazon.com/Logic-Techniques-Reasoning-Donald-Kal...
Get dozens of book recommendations delivered straight to your inbox every Thursday.