Revision as of 18:53, 31 January 2011 edit Ruud Koot (talk \| contribs) 31,416 edits Category:Logical calculi ← Previous edit		Revision as of 19:19, 9 February 2011 edit undo Ruud Koot (talk \| contribs) 31,416 edits Category:Axiomatic semantics Next edit →
Line 1: [[Category:Axiomatic semantics]] [[Category:Logic in computer science]] [[Category:Formal methods]]

Category:Program logic: Difference between revisions