Misao Nagayama
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A normalization theorem for P-W Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 2 / s. 83 - 88ROK: 1999CZYSTY TEKSTBIBTEX
