Slovnenya

Translation Japanese English: 述語論理

Dictionary: main
述語論理
名詞
functional calculus, predicate calculus.