Intensional logic

approach to predicate logic

en-GB/ɪntɛnʃənəl ˈlɒd͡ʒɪk/

カテゴリ：

logical system