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 - 321980CZYSTY TEKST
Steve Giambrone, Robert K. Meyer, R+ is contained in T+, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 1, s. 30 - 32
BIBTEX@Article{ authors = " Steve Giambrone, Robert K. Meyer", title = "R+ is contained in T+", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 1", pages = "30 - 32" }
-
Gentzen systems and decision procedures for relevant logics Opublikowano w: Bulletin of the Section of Logic 1982 / Tom 11 / Numer 3-4 / s. 169 - 1741982CZYSTY TEKST
Steve Giambrone, Gentzen systems and decision procedures for relevant logics, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 169 - 174
BIBTEX@Article{ authors = " Steve Giambrone", title = "Gentzen systems and decision procedures for relevant logics", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "169 - 174" }