形式 けいしき論理 ろんりです
keishikironridesu

Noun
Desu Copula

The polite form of 形式論理

1. Formal logic.

Polite