Pregled po CROSBI profilu: Mladen Vuković (CROSBI Profil: 29749, MBZ: 123054)
Pronađeno 68 radova
-
51.Vuković, MladenA Note on Semantics of the Interpretability Logic IL(KW1) // Bulletin of the Section of Logic, 32 (2003), 3; 109-115 (podatak o recenziji nije dostupan, članak, znanstveni)
-
52.Vuković, MladenStudij za nastavnika matematike na PMF-MO u Zagrebu // Zbornik radova šestog susreta nastavnika / Mladinić, Petar (ur.).
Zagreb: Hrvatsko matematičko društvo, 2002. str. 535-537 (pozvano predavanje, cjeloviti rad (in extenso), stručni) -
53.Vuković, MladenSome notes on generalized Veltman models // Bulletin of symbolic logic, 8 (2002), 3; 159-160 (podatak o recenziji nije dostupan, kongresno priopcenje, znanstveni)
-
54.Vuković, MladenNeki osnovni pojmovi teorije skupova // Osječka matematička škola, 2 (2002), 1; 31-37 (podatak o recenziji nije dostupan, članak, stručni)
-
55.Vuković, MladenGoedelovi teoremi nepotpunosti // Matematičko fizički list, 52 (2002), 2; 74-79 (podatak o recenziji nije dostupan, članak, stručni)
-
56.Bruckler, Franka Miriam; Vuković, MladenStudij za nastavnika matematike u Njemačkoj // Matematika i škola, 3 (2002), 14; 181-184 (podatak o recenziji nije dostupan, članak, stručni)
-
57.Vuković, MladenMatematička logika 1
Zagreb: PMF-Matematički odjel, 2000 -
58.Vuković, MladenInterpretability logic and generalized Veltman models // The Bulletin of Symbolic logic, 6 (2000), 1. (podatak o recenziji nije dostupan, kongresno priopcenje, znanstveni)
-
59.Vuković, MladenThe principles of interpretability // Notre Dame Journal of Formal Logic, 40 (1999), 2; 227-235 (podatak o recenziji nije dostupan, članak, znanstveni)
-
60.Vuković, MladenCharacteristic classes and bisimulations of generalized Veltman models // Grazer Math. Berichte, 341 (1999), .; 7-16 (podatak o recenziji nije dostupan, članak, znanstveni)
-
61.Štambuk-Giljanović, Nives; Vuković, MladenVode Neretve, 1998. (podatak o recenziji nije dostupan, rukopis).
-
62.Vuković, MladenMatematička logika u osnovnoj i srednjoj školi // Zbornik radova 4. susreta nastavnika matematike / Varošanec S., Mladinić P. (ur.).
Zagreb: Hrvatsko matematičko društvo, 1998. str. 285-295 (pozvano predavanje, cjeloviti rad (in extenso), stručni) -
63.Vuković, MladenThe interpretability logic ILF // Mathematical Communications, 3 (1997), 2; 205-210 (podatak o recenziji nije dostupan, članak, znanstveni)
-
64.Vuković, MladenGeneralizirani Veltmanovi modeli, 1996., doktorska disertacija, PMF-Matematički odjel, Zagreb
-
65.Vuković, MladenSome correspondences of principles in interpretability logic // Glasnik matematički, 31 (1996), 193-200 (podatak o recenziji nije dostupan, članak, znanstveni)
-
66.Vuković, MladenIndirektni dokazi // Matematičko-fizički list, 172 (1993), 3-4; 113-122 (podatak o recenziji nije dostupan, članak, stručni)
-
67.Vuković, MladenMatematičke teorije u jezicima drugog reda, 1990., magistarski rad, PMF-Matematički odjel, Zagreb
-
68.Vuković, MladenGoedelovi rezultati o aritmetici, 1987., diplomski rad, PMF-Matematički odjel, Zagreb
