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 - 2391984CZYSTY TEKST
Nuel D. Belnap, Michael A. McRobbie, Proof tableau formulations of some first-order relevant ortho-logics, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 233 - 239
BIBTEX@Article{ authors = " Nuel D. Belnap, Michael A. McRobbie", title = "Proof tableau formulations of some first-order relevant ortho-logics", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "233 - 239" }