Source: cirosantilli/formal-system

= Formal system

= Formal proof system
{synonym}

Back to article page