zeroth-order logic

first-order logic without variables or quantifiers

دسته بندی ها: