Вы здесь

Dependence and Independence Results for (Impredicative) Calculi of Dependent Types

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1990
Стр.: 
33 p.
Библиография: 
Bibliogr.: p.32-33
Место издания: 
Номер: 
MIP-9015
Карточка: 

Б2.33.

Streicher T..

Dependence and Independence Results for (Impredicative) Calculi of Dependent Types-Passau., 1990.-33 p.-(Препринт Univ.Passau №MIP-9015).
Bibliogr.: p.32-33

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