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 - 881999CZYSTY TEKST
Misao Nagayama, A normalization theorem for P-W, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 2, s. 83 - 88
BIBTEX@Article{ authors = " Misao Nagayama", title = "A normalization theorem for P-W", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 2", pages = "83 - 88" }
