Подскажите пожалуйста книгу или сайт где просто и доходчиво объяснялась бы логика, особенно связанная с системами естественного вывода(генценовская логика) и предикатамами
Не знаю, правильно ли я вас понял, но посоветую 1. С.К.Клини "Математическая логика" (http://gen.lib.rus.ec/get?md5=43D9DA99C917BD8AB355E8BDC85908E9) 2. Ч.Чень, Р.Ли "Математическая логика и автоматическое доказательство теорем" (http://gen.lib.rus.ec/get?md5=BD4E26C37D3287CB8586802AC209E253) 3. Математическая теория логического вывода (http://gen.lib.rus.ec/get?md5=8A1D4DAF87AD8A2B7F09E4F735C38345) P.S. Вторая книга посвящена исключительно принципу резолюции (Дж.Робинсона). Генцена вы там не найдете (за исключением дополнений редактора). Но - скажу честно - мне было интересно. Третья книга включает в себя переводы оригинальных статей самого Генцена. Вряд ли это то, что вам надо, но кто знает ...
