Constructive Natural Deduction and Its " -set" Interpretation | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1990

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

Стр.:

50 p.

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

Bibliogr.: p.47-50

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

Серия:

Lecture Notes in Artificial Intelligence

Номер:

LIENS-90-21

Карточка:

Б2.11, Б2.14.

Longo G., Moggi E..

Constructive Natural Deduction and Its " -set" Interpretation-Paris., 1990.-50 p.-(Препринт LIENS №LIENS-90-21).-(Lecture Notes in Artificial Intelligence).
Bibliogr.: p.47-50

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

PREP2 526