Lecture notes on mathematical logic | lit.salon