Nonclassical mathematical logic. Course in mathematical logic What is mathematical logic? Equations of classical mathematical physics Critique of mathematical logic Introduction to mathematical logic International mathematical olympiads Beginner's guide to mathematical logic the pattern from mathematical logic Lecture notes in mathematical logic