Поиск :
Личный кабинет :
Электронный каталог: Правиц, Даг - Натуральный вывод
Правиц, Даг - Натуральный вывод
Доступно
1 из 1
1 из 1
Книга
Автор: Правиц, Даг
Натуральный вывод : Теоретико-доказательственное исследование:[Пер.]
Издательство: Лори, 1997 г.
ISBN 5-85582-026-2
Автор: Правиц, Даг
Натуральный вывод : Теоретико-доказательственное исследование:[Пер.]
Издательство: Лори, 1997 г.
ISBN 5-85582-026-2
Книга
51мл П684
Правиц, Даг.
Натуральный вывод : Теоретико-доказательственное исследование:[Пер.] / Д. Правиц . - М. : Лори, 1997 . - XX,107,1с. : ил. - Библиогр.:с.98-101 . - На рус. яз. - ISBN 5-85582-026-2 : 47.00 .
ББК 22.122
основной = математика
основной = математика : математическая логика
основной = философия : логика : классическая логика : натуральный вывод
основной = виды изданий : научные издания
00000000727871 МАТН 51мл П684
51мл П684
Правиц, Даг.
Натуральный вывод : Теоретико-доказательственное исследование:[Пер.] / Д. Правиц . - М. : Лори, 1997 . - XX,107,1с. : ил. - Библиогр.:с.98-101 . - На рус. яз. - ISBN 5-85582-026-2 : 47.00 .
ББК 22.122
основной = математика
основной = математика : математическая логика
основной = философия : логика : классическая логика : натуральный вывод
основной = виды изданий : научные издания
00000000727871 МАТН 51мл П684