Математична логіка та докази
Вступ до доказів через навчання на основі запитів (Ernst)
Докази та поняття - Основи абстрактної математики (Morris і Morris)
Дружній вступ до математичної логіки (Leary та Kristiansen)
Математичне міркування - написання та доказ (Sundstrom)
Ніжне вступ до мистецтва математики (Fields)
Перехід до вищої математики (Dumas і McCarthy)