Source: /wikibot/provability-logic

= Provability logic
{wiki=Provability_logic}