Help ?
© 2024 Institute of Croatian Language and Linguistics
Plitvička jezera © Mario Pusić / 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 |