Shigeo Ohama
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Sequent System of the Logic R- for Rosser Sentences Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 1 / s. 11 - 212004CZYSTY TEKST
Shigeo Ohama, Katsumi Sasaki, A Sequent System of the Logic R- for Rosser Sentences, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 11 - 21
BIBTEX@Article{ authors = " Shigeo Ohama, Katsumi Sasaki", title = "A Sequent System of the Logic R- for Rosser Sentences", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 1", pages = "11 - 21" }