 |
 Нет книг для сравнения |
 |
 |
 |
|||
Kаталог / Нехудожественная литература / Общественные и гуманитарные науки / Философия / Логика / Натуральный вывод. Теоретико-доказательное исследование |
 |
|
Автор: Даг ПравицНатуральный вывод. Теоретико-доказательное исследованиеИздательство: Лори, 1997 годISBN: 5-85582-026-2, 5855820262 Натуральный вывод — одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода. Эта книга — не имеющий аналогов | |||||||||||||||
