ProofWiki:Mathematicians/Writers/Michael R.A. Huth

From ProofWiki

< ProofWiki:Mathematicians | Writers(Redirected from ProofWiki:Mathematicians/Michael R.A. Huth)

Jump to: navigation, search

Author of:

2000: Logic in Computer Science: Modelling and reasoning about systems (with Mark D. Ryan)

Retrieved from "http://www.proofwiki.org/w/index.php?title=ProofWiki:Mathematicians/Writers/Michael_R.A._Huth&oldid=32186"

Personal tools

Log in / create account

ProofWiki.org

ToDo

Toolbox

Google AdSense