UDK	Tekst
510.8	Matematički sustavi. Teorija modela