形式 けいしき論理 ろんり がくです
keishikironrigakudesu

Noun
Desu Copula

The polite form of 形式論理学

1. Formal logic.

Polite