Főnév

first-order logic (tsz. first-order logics)

  1. (matematika, informatika, mesterséges intelligencia) elsőrendű logika