Вы здесь
Towards a Set-Theoretic Type Theory
Количество экземпляров:
1
Колл. автор:
Вид:
Статья из сборника или журнала
Год:
1988
Ключевые слова:
Стр.:
23 p.
Место издания:
Карточка:
Б2.11, Б2.33.
Borzyszkowski A., Kubiak R., Leszczylowski J., Sokolowski S..
Towards a Set-Theoretic Type Theory-Gdansk., 1988.-23 p.
Таблица в старой библиотеке:
PAP3 274