Данный спецкурс в течение многих лет читается студентам философского факультета МГУ, специализирующимся по логике, а в 1990-2000 годах начато его чтение и в Калининградском государственном университете. Спецкурс ''Символическая логика'' является наиболее фундаментальным в профессиональной подготовке студентов, специализирующихся по логике, на философских факультетах и отделениях высших учебных заведений