gesang finished reading A Concise Introduction to Mathematical Logic by Wolfgang Rautenberg (Universitext)
Traditional logic as a part of philosophy is one of the oldest scientific disciplines and …
Demanding one. Highlight: full proof of the second incompleteness theorem along with provability logic. The formal system chosen is not that good, though; really strange that sequent calculus and natural deduction can be presented in such a chaotic hybrid manner.