Кто-Нибудь знает, где ещё, кроме во "Введении в логику" Бочарова,
Маркина можно почитать про натуральное исчисление с ограничением и абсолютным ограничением переменных? Мне кажется, весьма удобный вариант натурального исчисления для практических рассуждений