Normal view
MARC view
Теория логического вывода В. А. Смирнов ; ред. А. М. Анисов
Material type: TextPublication details: Москва РОССПЭН 1999Description: 318, [1] с. ил., 1 л. портSubject(s): Смирнов, Владимир Александрович философ 1931-1996 | логические исчисления | логика | логика предикатов | теоремы дедукции | логистические системы | секвенции | секвенциальные исчисления | паранепротиворечивая логика | импликативные системыOther classification: Ю4Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 1-870283к Ю4 (Browse shelf (Opens below)) | 1 | Available | 13820000134630 |
Библиогр.: с. 305-314
There are no comments on this title.