On decomposability in logical calculi | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Ponomarev D. K.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2009

Ключевые слова:

математическая логика

разложимость

интерполяция

свойство

разрешимость

Стр.:

P.111-120

Выпуск:

28

Библиография:

Bibliogr.: p.119-120

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

Б2.1.

Ponomarev D. K..

On decomposability in logical calculi// Bulletin of the Novosibirsk Computing Center-2009.-P.111-120
Bibliogr.: p.119-120

Таблица в старой библиотеке:

PAP31 429