https://ontologforum.com/index.php?action=history&feed=atom&title=RickMurphy 2026-05-25T11:42:40Z Revision history for this page on the wiki MediaWiki 1.39.0 https://ontologforum.com/index.php?title=RickMurphy&diff=2721&oldid=prev 2017-05-08T10:31:34Z

<p><span dir="auto"><span class="autocomment">Rick Murphy</span></span></p> <p><b>New page</b></p><div>= Rick Murphy =<br /> <br /> 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.<br /> <br /> [[Category:Person]]</div>

imported>MatthewWest