FR / EN
Francais (FR) English (EN)

量化逻辑

Hors-HSK

liàng huà luó ji

logique quantificationnelle (c.-à-d. logique de premier ordre)