A beginner's further guide to mathematical logic | lit.salon