Pronađeno 1 rezultata za: "logika prvoga reda"
proširenje izjavne logike uvođenjem egzistencijalnoga kvantifikatora i univerzalnoga kvantifikatora i varijabla na kojima oni djeluju
matematika