January 22nd, 2009

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

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

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