Я тоже изучал в ВУЗе логику. Математическую. Есть такой раздел математики. Ознакомительный курс, один семестр.