海量图书期刊资源,随时随地畅享阅读乐趣
“Conservative” Kripke closuresRaymond D. Gumb · Synthese · 1984
The Lazy Logic of Partial TermsRaymond D. Gumb · The Journal of Symbolic Logic · 2002
Language extensibility in extended FortranGumb, Raymond D. · ACM SIGCSE Bulletin · 1977
Reasonable breadth-biasedGumb, Raymond D. · ACM SIGART Bulletin · 1981
The lazy logic of partial termsGumb, Raymond D. · The Journal of Symbolic Logic · 2002
The Completeness of Presupposition-Free Tense LogicRobert F. Barnes; Raymond D. Gumb · 1979
In Memoriam: Hugues Leblanc March 19, 1924-September 10, 1999Raymond D. Gumb · The Bulletin of Symbolic Logic · 2000
In Memoriam: Hugues Leblanc March 19, 1924–September 10, 1999Gumb, Raymond D. · Bulletin of Symbolic Logic · 2000