In the preface to his book on logic Dirk van Dalen talks about the duality between "profane" and "sacred" logic, referring to relaxed logic and extremely formalized logic. He then explains his book will be more of the relaxed kind.
I've read the introduction of a handful of books on logic and this is a common theme, they all say "this can be done very very formally, but we won't do it here". I feel, however, that due to my interest in mathematical philosophy (related to the fact that I'm beginning to study independence proofs) I'm in need of one of these overly formal books on logic that so many authors want to avoid writing.
Can somebody give me a recommendation?