Source: wikibot/provability-logic

= Provability logic
{wiki=Provability_logic}