Robert K. Meyer
8 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Current research in relevant logic Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 3ROK: 1977CZYSTY TEKSTBIBTEX
-
R+ is contained in T+ Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 1 / s. 30 - 32ROK: 1980CZYSTY TEKSTBIBTEX
-
Sentential constants in relevant implication Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 1 / s. 33 - 38ROK: 1980CZYSTY TEKSTBIBTEX
-
Rationalizing relevant primitives, of course! Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 76 - 79ROK: 1995CZYSTY TEKSTBIBTEX
-
Peirced Clean Through Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 3 / s. 100 - 101ROK: 1990CZYSTY TEKSTBIBTEX
-
Relevant arithmetic Opublikowano w: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 4 / s. 133 - 135ROK: 1976CZYSTY TEKSTBIBTEX
-
Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics Opublikowano w: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 4 / s. 138 - 142ROK: 1976CZYSTY TEKSTBIBTEX
-
A mechanized decision procedure for non-classical logics: The program KRIPKE Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 189 - 192ROK: 1980CZYSTY TEKSTBIBTEX
