Учебный курс по логике для студентов математических факультетов.доклад на конференции