From OntologPSMW

Jump to: navigation, search
[ ]

Rick Murphy     (1)

Rick Murphy is a working software engineer, employed by the U.S. Government. His current interests are in intuitionistic logic as well as type-, category- and proof-theory.     (1A)