Revision as of 09:04, 11 October 2007 edit Tea2min (talk \| contribs) Extended confirmed users, Pending changes reviewers 21,978 edits m moved Talk:LCF theorem prover to Talk:LCF (theorem prover): Naming conventions. ← Previous edit		Revision as of 16:46, 18 April 2010 edit undo CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits Rating article for WikiProject Mathematics. Quality: Stub / Priority: Low / Field: foundations (script assisted) Next edit →
Line 1: {{maths rating\|class=Stub\|priority=Low\|field=foundations}}

Talk:Logic for Computable Functions: Difference between revisions