Steve Giambrone
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
R+ is contained in T+ Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 1 / s. 30 - 32ROK: 1980CZYSTY TEKSTBIBTEX
-
Gentzen systems and decision procedures for relevant logics Opublikowano w: Bulletin of the Section of Logic 1982 / Tom 11 / Numer 3-4 / s. 169 - 174ROK: 1982CZYSTY TEKSTBIBTEX
