[gav]

gav, вы философ, математик или программист?

Сначала третье, потом второе, потом первое
А так - формальная логика - один из курсов, которые я читаю. Правда, называется он "основы математической логики".