Source: /wikibot/formal-systems

= Formal systems
{wiki=Formal_systems}