|
|
Вид документа : Однотомное издание
Шифр издания : 510/G60
Автор(ы) : Goldrei D.
Заглавие : Propositional and predicate calculus [Electronic resource]
: a model of argument
Выходные данные : London : Springer-Verlag, 2005
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-846-28229-4: Б.ц.
ГРНТИ : 27.03.19
УДК : 510
Предметные рубрики: Математическая логика
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
|
|