Курсы лекций (PDF) по математической логике и теории алгоритмов (мехмат МГУ).
Замечания по основным принципам логики, рассматриваются аксимомы и суждения логики.