Category:Program logic: Difference between revisions

Content deleted Content added

Revision as of 18:53, 31 January 2011 edit Ruud Koot (talk \| contribs) 31,416 edits Category:Logical calculi ← Previous edit		Latest revision as of 19:36, 21 December 2015 edit undo Bamyers99 (talk \| contribs) Extended confirmed users 113,735 edits Undid revision 695995300 by 101.212.65.45 (talk)
(2 intermediate revisions by 2 users not shown)
Line 1: [[Category:Axiomatic semantics]] [[Category:Logic in computer science]] [[Category:Formal methods]]