Поиск :
Личный кабинет :
Электронный каталог: Правиц, Даг - Натуральный вывод
Правиц, Даг - Натуральный вывод
Доступно
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