polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
proširenje logike prvoga reda uvođenjem dodatnih kvantifikatora i usložnjavanjem njihova djelovanja
proširenje logike prvoga reda uvođenjem dodatnih kvantifikatora i usložnjavanjem njihova djelovanja
Rod: nema
Vrsta riječi: višerječni naziv