Вы здесь

A Concrete Final Coalgebra Theorem for ZF Set Theory

Автор: 
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.120-139
Библиография: 
Bibliogr.: p.139
Место издания: 
Издательство: 
Том: 
996
Карточка: 

В2.11.

Paulson L. C..

A Concrete Final Coalgebra Theorem for ZF Set Theory-Berlin, Heidelberg.: Springer// Types for Proofs and Programs, 1995.-Vol. 996.-P.120-139-(Lecture Notes in Computer Science).
Bibliogr.: p.139

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