Yanamino量化逻辑
liàng huà luó jilianghualuoji
- quantificational logic (i.e. first-order logic)
Data from JMdict, KANJIDIC2 (EDRDG), KanjiVG, CC-CEDICT and Make Me a Hanzi. Sources and licences
liàng huà luó jilianghualuoji
Data from JMdict, KANJIDIC2 (EDRDG), KanjiVG, CC-CEDICT and Make Me a Hanzi. Sources and licences