provability_logic Copy: provability_logic has NO comma Hide Show Like "provability_logic" These pages share a similar word... 기호논리학,Elementary_Logic These pages share an initial or final title word... 명제논리,propositional_logic