struna search engine

image shadow

logika višega reda

definition
 

proširenje logike prvoga reda uvođenjem dodatnih kvantifikatora i usložnjavanjem njihova djelovanja

equivalents
 

english: higher-order logic

classification
 

polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi