Формальні логіки

Формальні логіки — класичний курс по основам математичної формальної логіки та теорії рекурсивних функцій сумісний з роботами ранніх майстрів інтуіціонізму.