Pregled po projektu: 120033

1.

Vuković, Mladen

Matematička logika 1
Zagreb: PMF-Matematički odjel, 2000

2.

Šikić, Zvonimir

Fibonaccijev niz // Poučak, . (2000), 2/3; 5-14 (podatak o recenziji nije dostupan, članak, stručni)

3.

Šikić, Zvonimir

Dokazi bez riječi // Poučak, . (2000), 2/3; 79-80 (podatak o recenziji nije dostupan, članak, stručni)

4.

Šikić, Zvonimir

Dokazi bez riječi // Poučak, . (2000), 1; 58-62 (podatak o recenziji nije dostupan, članak, stručni)

5.

Šikić, Zvonimir

Distributivnost vektorskog produkta // Poučak, . (2000), 1; 56-57 (podatak o recenziji nije dostupan, članak, stručni)

6.

Šikić, Zvonimir

O racionalnim potencijama // Poučak, . (2000), 1; 54-55 (podatak o recenziji nije dostupan, članak, stručni)

7.

Vuković, Mladen

Interpretability logic and generalized Veltman models // The Bulletin of Symbolic logic, 6 (2000), 1. (podatak o recenziji nije dostupan, kongresno priopcenje, znanstveni)

8.

Šikić, Zvonimir

Matematika i muzika. Zagreb: Hrvatsko matematičko društvo, 1999 (monografija)

9.

Vuković, Mladen

The principles of interpretability // Notre Dame Journal of Formal Logic, 40 (1999), 2; 227-235 (podatak o recenziji nije dostupan, članak, znanstveni)

10.

Vuković, Mladen

Characteristic classes and bisimulations of generalized Veltman models // Grazer Math. Berichte, 341 (1999), .; 7-16 (podatak o recenziji nije dostupan, članak, znanstveni)

11.

Šikić, Zvonimir

A. M. Turing // Encyclopedia Moderna, . (1998), 49; 153-162 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)

12.

Šikić, Zvonimir

On numbers and classes // Mathematical Communications, . (1998), 3; 231-296 (podatak o recenziji nije dostupan, članak, znanstveni)

13.

Vuković, Mladen

Matematič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ć, Zvonimir

Alan Mathison Turing i pojam izračunljivosti // Encyclopaedia moderna, XVIII (1998), 49; 153-162 (podatak o recenziji nije dostupan, članak, znanstveni)

15.

Vuković, Mladen

The interpretability logic ILF // Mathematical Communications, 3 (1997), 2; 205-210 (podatak o recenziji nije dostupan, članak, znanstveni)

16.

Rosenzweig, Dean

Evolving 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ć, Zvonimir

On 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ć, Zvonimir

Goedelovi teoremi // Rugjer, . (1996), 5; 30-35 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)

19.

Šikić, Zvonimir

O matematizaciji prirodnih znanosti // Rugjer, . (1996), 2; 40-42 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)

20.

Šikić, Zvonimir

What are numbers // International studies in the philosophy of science, (1996), 10; 159-171 (međunarodna recenzija, članak, znanstveni)

21.

Vuković, Mladen

Generalizirani Veltmanovi modeli, 1996., doktorska disertacija, PMF-Matematički odjel, Zagreb

22.

Vuković, Mladen

Some correspondences of principles in interpretability logic // Glasnik matematički, 31 (1996), 193-200 (podatak o recenziji nije dostupan, članak, znanstveni)

23.

Šikić, Zvonimir

Filozofija matematike. Zagreb: Školska knjiga, 1995 (monografija)

24.

Šikić, Zvonimir

On 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ć, Zvonimir

Stendhalovi problemi s negativnim brojevima // Matka, . (1993), 6; 62-64 (podatak o recenziji nije dostupan, članak, stručni)

26.

Šikić, Zvonimir

Kako je Eratosten izmjerio Zemlju // Matka, . (1993), 3; 17-21 (podatak o recenziji nije dostupan, članak, stručni)

27.

Vuković, Mladen

Indirektni dokazi // Matematičko-fizički list, 172 (1993), 3-4; 113-122 (podatak o recenziji nije dostupan, članak, stručni)

28.

Šikić, Zvonimir

The diagonal argument - a study of cases // International Studies in the Philosophy of Science, . (1992), 6; 191-203 (međunarodna recenzija, članak, znanstveni)

29.

Šikić, Zvonimir

On a distinction between pure and applied mathematics // Encyclopaedia moderna, . (1992), 1; 6-9 (podatak o recenziji nije dostupan, članak, znanstveni)

30.

Šikić, Zvonimir

On Devide's axiomatization of natural numbers // Grazer Mathematische Berichte, . (1991), 313; 57-64 (podatak o recenziji nije dostupan, članak, znanstveni)

31.

Šikić, Zvonimir

A proof of the characterization theorem for consequence relations // Zeitschr. f. math. Logik und Grundlagen d. Math., 37 (1991), 41-43 (podatak o recenziji nije dostupan, članak, znanstveni)

32.

Šikić, Zvonimir

Prirodni logaritmi // Prisutna prošlost / Adamović, D. ; Leko, M. ; Milić, S. ; Prešić, S. ; Trifunović, D. (ur.).
Beograd: Matematički institut SANU, 1990. str. 95-105

33.

Šikić, Zvonimir

Premiss tree proofs and anti-intuitionistic logic (abstract) // Journal of Symbolic Logic, 55 (1990), .. (međunarodna recenzija, članak, znanstveni)

34.

Šikić, Zvonimir

Taylor's theorem // Int. J. Math. Ed. Sci. Technol., 21 (1990), .; 111-115 (podatak o recenziji nije dostupan, članak, znanstveni)

35.

Šikić, Zvonimir

Premiss tree proofs and logic of contradiction // Zeitschr. f. math. Logik und Grundlagen d. Math., 36 (1990), 273-280 (podatak o recenziji nije dostupan, članak, znanstveni)

36.

Vuković, Mladen

Matematičke teorije u jezicima drugog reda, 1990., magistarski rad, PMF-Matematički odjel, Zagreb

37.

Šikić, Zvonimir

O zbroju kutova u trokutu // Matematika, . (1989), 4; 18-26 (podatak o recenziji nije dostupan, članak, stručni)

38.

Šikić, Zvonimir

Što su skupovi u školi // Matematika, . (1989), 3; 19-30 (podatak o recenziji nije dostupan, članak, stručni)

39.

Šikić, Zvonimir

Definicije u matematici II // Matematika, . (1989), 2; 19-36 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)

40.

Šikić, Zvonimir

Newton i Leibniz otkrivači infinitezimalnog računa // Matematika, . (1989), 1; 5-25 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)

41.

Šikić, Zvonimir

Closure operators and consequence relations // Algebra and Logic 1987 / . (ur.).
Zagreb, Hrvatska, 1989. str. 151-159 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

42.

Šikić, Zvonimir

Kako je stvarana novovjekovna matematika. Zagreb: Školska knjiga, 1989 (monografija)

43.

Šikić, Zvonimir

Singular consequence relations and order relations // Grazer Mathematische Berichte, . (1989), 304; 118-127 (podatak o recenziji nije dostupan, članak, znanstveni)

44.

Šikić, Zvonimir

Definicije u matematici // Matematika, . (1988), 1; 5-19 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)

45.

Šikić, Zvonimir

Neprebrojivost kontinuuma i nastanak teorije skupova // Matematika, . (1987), 4; 7-21 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)

46.

Šikić, Zvonimir

Život i djelo Kurta Goedela // Matematika, . (1987), 2; 49-59 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)

47.

Šikić, Zvonimir

Aksiomatizacija prirodnih brojeva // Matematika, . (1987), 1; 12-19 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)

48.

Šikić, Zvonimir

Novija filozofija matematike // Novija filozofija matematike / Šikić, Zvonimir (ur.).
Beograd: Nolit, 1987. str. 1-32

49.

Novija filozofija matematike / Šikić, Zvonimir (ur.). Beograd: Nolit, 1987 (zbornik)

50.

Vuković, Mladen

Goedelovi rezultati o aritmetici, 1987., diplomski rad, PMF-Matematički odjel, Zagreb