Вы здесь

Constructive Logics. Part II: Linear Logic and Proof Nets

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1991
Стр.: 
46 p.
Библиография: 
Bibliogr.: p.44.
Место издания: 
Номер: 
9
Карточка: 

Б2.13, Б2.14.

Gallier J..

Constructive Logics. Part II: Linear Logic and Proof Nets-Paris., 1991.-46 p.-(Препринт Digital №9).
Bibliogr.: p.44.

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