Revision as of 11:56, 1 June 2005 edit 82.32.72.35 (talk) No edit summary ← Previous edit		Revision as of 17:44, 30 August 2005 edit undo Jpbowen (talk \| contribs) Extended confirmed users, Pending changes reviewers 83,150 edits mNo edit summary Next edit →
Line 7: [[HOL theorem prover\|HOL]] and [[Isabelle theorem prover\|Isabelle]] theorem provers. [[Category:~~logic~~Formal ~~in computer science~~methods]] [[Category:Logic in computer science]] [[Category:Theorem provers]] [[es:LCF]]

Logic for Computable Functions: Difference between revisions