Полное описание

Baltag, A. Truth-as-simulation: towards a coalgebraic perspective on logic and games / A.Baltag. - Amsterdam : [s. n.], 1999. - 17 p. - (Report:Information systems / CWI, ISSN 1386-3681 ; INS-R9923). - Текст : непосредственный.
Библиогр.:с.17

ГРНТИ	УДК
50.07	510.285

Рубрики:
Математическая логика -- Применение в вычислительной технике

Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17936/INS-R9923)

Шифр в сводном ЭК: 6e5557fb6eb35aacb750663003a03776

Заказать издание
Заказ фрагмента документа ₽