Revision as of 05:03, 8 September 2004 edit Ascánder (talk \| contribs) Extended confirmed users 1,960 edits m --> es: ← Previous edit		Revision as of 08:15, 13 October 2004 edit undo Chalst (talk \| contribs) Extended confirmed users 7,358 edits m <>cat Next edit →
Line 7: [[HOL theorem prover\|HOL]] and [[Isabelle theorem prover\|Isabelle]] theorem provers. [[Category:~~mathematical~~ logic in computer science]] [[es:LCF]]

Logic for Computable Functions: Difference between revisions