I`m studying Engineering -not mathematics-, so what is a good book to start with?
Dover has a book called Set Theory and Formal Logic. It's not bad.
You might want to pick up a copy of Hofstadter's Godel, Escher, Bach. Not really a textbook on logic, but it does deliver "more than the gist" of it in a super casual, friendly manner.
Separate names with a comma.