Pronađeno 1 rezultata za: "logika višega reda"
proširenje logike prvoga reda uvođenjem dodatnih kvantifikatora i usložnjavanjem njihova djelovanja
matematika