second-order logic

extension of first-order logic allowing quantification over functions and relations

en-US/ˈsɛkənd - ˈɑɹdɚ ˈlɑd͡ʒɪk/
en-GB/sɪˈkɒnd - ˈɔːdə ˈlɒd͡ʒɪk/

Danh mục:

higher-order logic