А где бы про это почитать?

Заимствовано в книге Грис Д. "Наука программирования". Сейчас сел и пишу учебник, по мере написания буду выкладывать, но не очень быстро.

Гриса нужно бы почитать. "Дискретная математика: логический подход" мне очень понравилась.

А выкладываемого буду ждать.

Да, неплохо. Хотя всё-таки пока пишу выводимое внизу.

Сел писать учебник, выбираю формат записи. Хочется такой формализм, которым практически удобно пользоваться. Вот в такой форме хорошо, но очень трудоёмко набирать эти таблички, а подходящего макропакета не нахожу.

А один из этих (http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/fitch.html) приспособить не получится?

Сейчас проверю, спасибо. В принципе, это то же самое, но нумерация у Гриса явно лучше.

Это ж и есть деревья вывода ;-)
Правда, представленные удобно.
Надо взять на заметку.

Я выбрал такую установку - изучать теории, в которых практически можно работать, а не те, которые легче изучаются.

Подколка красивая, спасибо ;-)
Собственно, потому я категории и выбрал.
И стараюсь придумывать хорошие способы объяснения этой (категорной) терминологией.