Как лучше изучать математическую логику?

Возможный порядок изучения:
- исчисление высказываний (булева алгебра как его модель),
- классическое исчисление предикатов (логика первого порядка (и её теоретико-множественная модель)),
- исчисление секвенций и системы натурального/естественного вывода,
- интуиционистская логика первого порядка,
- линейная логика (Жирара),
- модальные логики и их модели,
- логика высшего порядка.

Очень хороший силлабус курса СПбГУ "Математическая логика в информатике".