Source: /wikibot/completeness-of-atomic-initial-sequents

= Completeness of atomic initial sequents
{wiki=Completeness_of_atomic_initial_sequents}