First record of the dinoflagellate Tripos rotundatus in the Adriatic Sea

Alzheimerova demencija kao hitno stanje

Bisimulations and bisimulation games between Verbrugge models

Hitna stanja kod demencije

A new notion of bisimulations of Verbrugge semantics

A good method of transforming Veltman into Verbrugge models

n-bisimulations for generalised Veltman semantics

Jedan neobičan dokaz

A W-flavoured series of interpretability principles

Interpretability logics and generalised veltman semantics

Relation Between General Features and İncidence of IBD in Area Osijek-Baranja Country

Distribution of Patients Affected by İbds Based On Family Anamnesis for İbd, Malignancy of Gi Tract and Autoimmune Diseases in Osijek-Baranja County (2000-2014)

Complexity of the interpretability logic IL

Anemia In Patients With Inflammatory Bowel Diseases In Clinical Hospital Center Osijek

Age of Diagnosis and Anthropometric Data in Relation to İnflammatory Bowel Disease in the Area of Osijek-Baranja County in the Period 2000-2014

Natural course activity and complications of ulcerative colitis therapy compared to Chron's disease; results of the research study of inflammatory bowel disease in the area of Osijek-baranja county in the period 2000-2014

Comparation of inflammatory bowel disease therapy with an emphasis on immune therapy; results of research study of inflammatory bowel disease in the Osijek-baranja county 2000-2014

Rješavanje logičkih zadataka metodom semantičkih stabala

Prebrojivi skupovi

Complexity of the interpretability logic IL

Neprebrojivost skupa transcendentnih brojeva

Biokemijske laboratorijske pretrage upalnih bolesti crijeva iz uzorka pune krvi s osvrtom na laboratorijsku dijagnostiku anemije – prikaz projekta

Specificity of surgical therapy of inflammatory bowel disease considering previous conventional and combined conventional and biologic therapy

Postgraduate doctoral study of Biomedicine and health at the Faculty of Medicine Osijek – quality assessment.

Decidability of interpretability logics ILM_0 and ILW*

"Step up" and "Top down" therapeutic approach in patients with inflammatory bowel disease

Decidability and Complexity of Some Interpretability Logics

Lambda račun kao osnova funkcijskog programiranja

Filtrations of generalized Veltman models

Interpretability logic IL does not have finite subtree property

Logička analiza hibridnih sustava

A bisimulation characterization for interpretability logic

Some characterization and preservation theorems in modal logic

A note on normal form for closed fragment of system IL

Bisimulation quotients of Veltman models

Primijenjena logika

A note on ultraproducts of Veltman models

Složenost algoritama

Teorija skupova

Bisimulations and bismulation quotients of generalized Veltman models

U potrazi za skupovima

Studij matematike u Zagrebu

Matematička logika

Izračunljivost

O aksiomu izbora, cipelama i čarapama

Bisimulations between generalized Veltman models and Veltman models

Zbirka zadataka iz teorije skupova

Matematička logika 1

Nezavisnost i relativna konzistentnost aksioma izbora i hipoteze kontinuuma

Some notes on correspondence theory of the system IL

A New MSc Curriculum in Computer Science and Mathematics at the University of Zagreb

Hennessy-Milner theorem for interpretability logic

Generalized Veltman Models with a Root

Matematička logika 1, treće dopunjeno i izmijenjeno izdanje

Matematička indukcija i Goodsteinov teorem

A Note on Semantics of the Interpretability Logic IL(KW1)

Goedelovi teoremi nepotpunosti

Studij za nastavnika matematike u Njemačkoj

Studij za nastavnika matematike na PMF-MO u Zagrebu

Neki osnovni pojmovi teorije skupova

Some notes on generalized Veltman models

Matematička logika 1

Interpretability logic and generalized Veltman models

Characteristic classes and bisimulations of generalized Veltman models

The principles of interpretability

Matematička logika u osnovnoj i srednjoj školi

Vode Neretve

The interpretability logic of ILF

Some correspondences of principles in interpretability logic

Indirektni dokazi

Matematičke teorije u jezicima drugog reda