Pregled po projektu: 120033
Pronađeno 76 radova
-
1.Vuković, MladenMatematička logika 1
Zagreb: PMF-Matematički odjel, 2000 -
2.Šikić, ZvonimirFibonaccijev niz // Poučak, . (2000), 2/3; 5-14 (podatak o recenziji nije dostupan, članak, stručni)
-
3.Šikić, ZvonimirDokazi bez riječi // Poučak, . (2000), 2/3; 79-80 (podatak o recenziji nije dostupan, članak, stručni)
-
4.Šikić, ZvonimirDokazi bez riječi // Poučak, . (2000), 1; 58-62 (podatak o recenziji nije dostupan, članak, stručni)
-
5.Šikić, ZvonimirDistributivnost vektorskog produkta // Poučak, . (2000), 1; 56-57 (podatak o recenziji nije dostupan, članak, stručni)
-
6.Šikić, ZvonimirO racionalnim potencijama // Poučak, . (2000), 1; 54-55 (podatak o recenziji nije dostupan, članak, stručni)
-
7.Vuković, MladenInterpretability logic and generalized Veltman models // The Bulletin of Symbolic logic, 6 (2000), 1. (podatak o recenziji nije dostupan, kongresno priopcenje, znanstveni)
-
8.Šikić, ZvonimirMatematika i muzika. Zagreb: Hrvatsko matematičko društvo, 1999 (monografija)
-
9.Vuković, MladenThe principles of interpretability // Notre Dame Journal of Formal Logic, 40 (1999), 2; 227-235 (podatak o recenziji nije dostupan, članak, znanstveni)
-
10.Vuković, MladenCharacteristic classes and bisimulations of generalized Veltman models // Grazer Math. Berichte, 341 (1999), .; 7-16 (podatak o recenziji nije dostupan, članak, znanstveni)
-
11.Šikić, ZvonimirA. M. Turing // Encyclopedia Moderna, . (1998), 49; 153-162 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)
-
12.Šikić, ZvonimirOn numbers and classes // Mathematical Communications, . (1998), 3; 231-296 (podatak o recenziji nije dostupan, članak, znanstveni)
-
13.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) -
14.Šikić, ZvonimirAlan Mathison Turing i pojam izračunljivosti // Encyclopaedia moderna, XVIII (1998), 49; 153-162 (podatak o recenziji nije dostupan, članak, znanstveni)
-
15.Vuković, MladenThe interpretability logic ILF // Mathematical Communications, 3 (1997), 2; 205-210 (podatak o recenziji nije dostupan, članak, znanstveni)
-
16.Rosenzweig, DeanEvolving Algebras and Light Linear Logic // 1995 European Summer Meeting of the Association for Symbolic Logic - Logic Colloquium '95 - Haifa, Israel, August 9-17, 1995 - Abstracts / Bulletin of symbolic logic 3(1)
Cambridge: Cambridge University Press, 1997. str. 116-116 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
17.Šikić, ZvonimirOn unfounded universe with individuals and proper classes // 1995 European Summer Meeting of the Association for Symbolic Logic - Logic Colloquium '95 - Haifa, Israel, August 9-17, 1995 - Abstracts / Bulletin of symbolic logic 3(1)
Cambridge: Cambridge University Press, 1997. str. 118-119 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
18.Šikić, ZvonimirGoedelovi teoremi // Rugjer, . (1996), 5; 30-35 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)
-
19.Šikić, ZvonimirO matematizaciji prirodnih znanosti // Rugjer, . (1996), 2; 40-42 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)
-
20.Šikić, ZvonimirWhat are numbers // International studies in the philosophy of science, (1996), 10; 159-171 (međunarodna recenzija, članak, znanstveni)
-
21.Vuković, MladenGeneralizirani Veltmanovi modeli, 1996., doktorska disertacija, PMF-Matematički odjel, Zagreb
-
22.Vuković, MladenSome correspondences of principles in interpretability logic // Glasnik matematički, 31 (1996), 193-200 (podatak o recenziji nije dostupan, članak, znanstveni)
-
23.Šikić, ZvonimirFilozofija matematike. Zagreb: Školska knjiga, 1995 (monografija)
-
24.Šikić, ZvonimirOn the equivalence of the solution lemma and Aczel's antifoundation axiom // Grazer Mathematische Berichte, . (1994), 323; 69-78 (podatak o recenziji nije dostupan, članak, znanstveni)
-
25.Šikić, ZvonimirStendhalovi problemi s negativnim brojevima // Matka, . (1993), 6; 62-64 (podatak o recenziji nije dostupan, članak, stručni)
