Talk:Logic for Computable Functions: Difference between revisions

Content deleted Content added

Revision as of 16:44, 25 February 2011 edit Ruud Koot (talk \| contribs) 31,416 edits m moved Talk:LCF (theorem prover) to Talk:Logic for Computable Functions ← Previous edit		Latest revision as of 13:29, 5 February 2024 edit undo Cewbot (talk \| contribs) Bots 8,375,915 edits m Maintain {{WPBS}} and vital articles: 2 WikiProject templates. Create {{WPBS}}. Keep majority rating "Stub" in {{WPBS}}. Remove 2 same ratings as {{WPBS}} in {{WikiProject Computer science}}, {{Maths rating}}. Remove 1 deprecated parameter: field. Tag: Talk banner shell conversion
(2 intermediate revisions by 2 users not shown)
Line 1: {{~~maths~~WikiProject ~~rating~~banner shell\|class=Stub\|~~priority=Low\|field=foundations}}~~ {{WikiProject Computer science\|auto=inherit}} {{WikiProject Mathematics\|priority=Low}} }}