Pomoć ?
© 2011 Institut za hrvatski jezik i jezikoslovlje
© Dragan Matić / Cropix
definicija |
proširenje logike prvoga reda uvođenjem dodatnih kvantifikatora i usložnjavanjem njihova djelovanja |
istovrijednice |
engleski: higher-order logic |
razredba |
polje: matematika |
vrela |