Nuel D. Belnap
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Proof tableau formulations of some first-order relevant ortho-logics Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 4 / s. 233 - 239ROK: 1984CZYSTY TEKSTBIBTEX
