struna tražilica

image shadow

logika višega reda

definicija
 

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

istovrijednice
 

engleski: higher-order logic

razredba
 

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