URN:NBN:SI:doc-0KGZHM4E2026Nemanič, Anaradocuments/doc/0/URN_NBN_SI_doc-0KGZHM4E_001.pdfdocuments/doc/0/URN_NBN_SI_doc-0KGZHM4E_001.txt1315 str.2article2385-8567291919619URN:NBN:SI:doc-0KGZHM4EslvZaložba Fakultete za matematiko in fiziko Univerze v LjubljaniMatrikaBYBüchi theoremBüchijev izrekfinite automatakončni avtomatilogika drugega redamonadic second order logicmonadična logika drugega redaprepoznavni jezikirecognisable languagessecond order logic