Учебники по логике

[alexey_rom]

Не подскажет ли мне кто-нибудь, в каких учебниках на русском, кроме Непейводы, рассказывается о естественном выводе (natural deduction) и/или аналитических таблицах (tableaux)? В русском языке используются обычно такие переводы этих терминов или другие?

Этот же вопрос задал в ru_math.