形式理論

けいしき・りろんkeishiki·riron

formale Logik f f.