Help ?
© 2026 Institute of Croatian Language and Linguistics
© Dragan Matić / Cropix
definition |
proširenje logike prvoga reda uvođenjem dodatnih kvantifikatora i usložnjavanjem njihova djelovanja |
equivalents |
english: higher-order logic |
classification |
polje: matematika |
source |