Вы здесь

A Proof System Based on Finite Set Theory

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
P.197-213.
Библиография: 
Bibliogr.: p.212-213
Место издания: 
Карточка: 

Б2.1.

Huang F., Stalmarck G..

A Proof System Based on Finite Set Theory-Goteborg.// Proc. of WM98. Smogens Havsbad, January 14-16, 1998, 1998.-P.197-213.
Bibliogr.: p.212-213

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