Category:Program logic: Difference between revisions

Content deleted Content added

Revision as of 18:48, 31 January 2011 edit Ruud Koot (talk \| contribs) 31,416 edits Category:Non-classical logic ← 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)
(3 intermediate revisions by 2 users not shown)
Line 1: [[Category:Axiomatic semantics]] [[Category:Logic in computer science]] [[Category:Formal methods]] [[Category:Logical calculi]] [[Category:Non-classical logic]]