Revision as of 18:48, 31 January 2011 edit Ruud Koot (talk \| contribs) 31,416 edits Category:Non-classical logic ← Previous edit		Revision as of 18:53, 31 January 2011 edit undo Ruud Koot (talk \| contribs) 31,416 edits Category:Logical calculi Next edit →
Line 1: [[Category:Logic in computer science]] [[Category:Formal methods]] [[Category:Logical calculi]] [[Category:Non-classical logic]]

Category:Program logic: Difference between revisions