Revision as of 13:47, 10 September 2007 edit The Wild Falcon (talk \| contribs) Extended confirmed users 994 edits mNo edit summary ← Previous edit		Revision as of 13:47, 10 September 2007 edit undo The Wild Falcon (talk \| contribs) Extended confirmed users 994 edits mNo edit summary Next edit →
Line 7: * [[HOL theorem prover\|HOL]] * [[Isabelle theorem prover\|Isabelle]] * [[ML programming language\|ML]]}} [[Category:Logic in computer science]]

Logic for Computable Functions: Difference between revisions