zeroth-order logic

first-order logic without variables or quantifiers

en-US/ˈziəɹoʊθ - ˈɑɹdɚ ˈlɑd͡ʒɪk/

Категорії:

first-order logic