Robust Logic and Structural Properties of the Sequent Calculus | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1993

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

семантика

вычисление

последовательный

релевантный

Стр.:

31 p.

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

Bibliogr.: p.30-31

Место издания:

Номер:

202

Карточка:

Б2.13, Б2.14, Б2.24.

Hosli B..

Robust Logic and Structural Properties of the Sequent Calculus-Zurich., 1993.-31 p.-(Препринт ETH №202).
Bibliogr.: p.30-31

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

PREP1 903