Seminar za matemati~cku logiku i osnove matematike
povijest

Sa~zetak:

Generalizirat ~temo neke pojmove iz Hanfovog teorema, te
dokazati da formule logike prvog reda mogu ispitivati samo lokalna svojstva
kona~cnih struktur~a (Gaifmanov teorem).