(Q8069651)

English

zeroth-order logic

first-order logic without variables or quantifiers

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit