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

Category:Program logic: Difference between revisions