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 09:04, 11 October 2007 edit undo Tea2min (talk \| contribs) Extended confirmed users, Pending changes reviewers 21,975 edits m moved LCF theorem prover to LCF (theorem prover): Naming conventions. Next edit →
(No difference)

Logic for Computable Functions: Difference between revisions