Pregled po projektu: 120033

1.

Šikić, Zvonimir
Matematika i muzika. Zagreb: Hrvatsko matematičko društvo, 1999 (monografija)
2.

Šikić, Zvonimir
Filozofija matematike. Zagreb: Školska knjiga, 1995 (monografija)
3.

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

Uredničke knjige

1.

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

Poglavlja u knjigama

1.

Š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
2.

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

Šikić, Zvonimir
Formalna logika i aritmetika // Brojevi / . (ur.).
Zagreb: Školska knjiga, 1985. str. 16-21
4.

Šikić, Zvonimir
Aksiomatska metoda, prirodni brojevi i teorija modela // Brojevi / . (ur.).
Zagreb: Školska knjiga, 1985. str. 231-257
5.

Šikić, Zvonimir
O razlikovanju čiste i primijenjene matematike // Problem postojanja u matematici / Šeper, K. ; Prešić, M. ; Djurić, M. (ur.).
Beograd: Matematički institut SANU, 1979. str. 19-27

Obrazovni materijali

Ostalo

1.

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

Radovi u časopisima

Znanstveni i pregledni radovi

1.

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

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

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

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

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

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

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

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

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

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

Š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)
12.

Š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)
13.

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

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

Š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)
16.

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

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

Š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)
19.

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

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

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

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

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

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

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

Šikić, Zvonimir
Joseph Luis Lagrange // Matematika, . (1986), 4; 47-51 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)
27.

Šikić, Zvonimir
On the logical system L1 // Zeitschr. f. math. Logik und Grundlagen d. Math., 32 (1986), 349-353 (podatak o recenziji nije dostupan, članak, znanstveni)
28.

Šikić, Zvonimir
Cantor's theorem and paradoxical classes // Zeitschr. f. math. Logik und Grundlagen d. Math., 32 (1986), 221-226 (podatak o recenziji nije dostupan, članak, znanstveni)
29.

Šikić, Zvonimir
Otkriće prirodnih logaritama // Matematika, . (1985), 3-4; 56-61 (podatak o recenziji nije dostupan, pregledni rad, znanstveni)
30.

Šikić, Zvonimir
Nekatere opombe k logiki in filozofiji znanosti // Anthropos, 80 (1985), 3/4; 126-129 (podatak o recenziji nije dostupan, članak, znanstveni)
31.

Šikić, Zvonimir
Continuing variations on a system of Gentzen // Zeitschr. f. math. Logik und Grundlagen d. Math., 31 (1985), 537-544 (podatak o recenziji nije dostupan, članak, znanstveni)
32.

Šikić, Zvonimir
Novija filozofija matematike // Scientia Yugoslavica, 10 (1984), 3-10 (podatak o recenziji nije dostupan, članak, znanstveni)
33.

Šikić, Zvonimir
Multiple forms of Gentzen's rules and some intermediate logics // Zeitschr. f. math. Logik und Grundlagen d. Math., 30 (1984), 335-338 (međunarodna recenzija, članak, znanstveni)
34.

Šikić, Zvonimir
Multiple forms of Gentzen's rules and some intermediate logics (abstract) // Journal of Symbolic Logic, 48 (1983), 1227-1228 (međunarodna recenzija, članak, znanstveni)
35.

Šikić, Zvonimir
A note on sum-eliminator // Glasnik matematički, 15 (1980), 249-251 (podatak o recenziji nije dostupan, članak, znanstveni)
36.

Šikić, Zvonimir
A note on sum-eliminator // Glasnik matematički, 15 (1980), 249-251 (međunarodna recenzija, članak, znanstveni)

Stručni radovi

1.

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

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

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

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

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

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

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

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

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

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

Šikić, Zvonimir
Brojevi i brojke // Matematika, . (1986), 3; 5-15 (podatak o recenziji nije dostupan, članak, stručni)
12.

Šikić, Zvonimir
Izolirani singulariteti funkcija // Matematika, . (1986), 2; 60-65 (podatak o recenziji nije dostupan, članak, stručni)
13.

Šikić, Zvonimir
Inženjerska matematika je numerička matematika // Stručni časopis ("Ðuro Ðaković"), . (1985), 1; 21-26 (podatak o recenziji nije dostupan, članak, stručni)
14.

Šikić, Zvonimir
"Strojarski" dokazi u matematici // Matematika, . (1985), 2; 24-38 (podatak o recenziji nije dostupan, članak, stručni)
15.

Šikić, Zvonimir
O Taylorovom teoremu // Matematika, . (1984), 3; 19-29 (podatak o recenziji nije dostupan, članak, stručni)
16.

Šikić, Zvonimir
Polinomske aproksimacije i Taylorova formula // Matematika, . (1984), 3; 10-19 (podatak o recenziji nije dostupan, članak, stručni)
17.

Šikić, Zvonimir
Taylorova formula i dodiri višeg reda // Matematika, . (1984), 3; 5-10 (podatak o recenziji nije dostupan, članak, stručni)
18.

Šikić, Zvonimir
Neke primjene mehanike u elementarnoj geometriji // Matematika, . (1981), 2; 34-44 (podatak o recenziji nije dostupan, članak, stručni)
19.

Šikić, Zvonimir
O kvadratnim brojevima // Matematika, . (1978), 4; 5-10 (podatak o recenziji nije dostupan, članak, stručni)

Drugi radovi u časopisima

1.

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

Radovi u zbornicima skupova

Znanstveni radovi u zbornicima skupova

1.

Š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)
2.

Šikić, Zvonimir
Peacock's principle and Euler's equation // Algebra and Logic 1984 / . (ur.).
Sarajevo, Jugoslavija, 1985. str. 165-170 (pozvano predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
3.

Šikić, Zvonimir
Peacock's principle and Euler's equation // Algebra and Logic 1984 / . (ur.).
Sarajevo, Jugoslavija, 1985. str. 165-170 (pozvano predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
4.

Šikić, Zvonimir
Mehaničko rasuđivanje i Goedelov teorem o nepotpunosti // Zbornik radova / . (ur.).
Sarajevo, 1983. str. 191-194 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

Stručni radovi u zbornicima skupova

1.

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)

Sažeci sa skupova

Sažeci u zbornicima i časopisima

1.

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)
2.

Š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)

Ocjenski radovi

Doktorske disertacije

1.

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

Magistarski radovi

1.

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

Diplomski radovi (uključujući i diplomske radove starog programa)

1.

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