| |
|
|
| |
Poglavlja u knjizi
|
| |
1. Kovač, Srećko.
Šimun Čučić // Starija hrvatska filozofija / Zenko, Franjo (ur.).
Zagreb : Školska knjiga, 1997.
Str. 485-507.
|
|
|
|
|
| |
Udžbenici i skripta
|
| |
1. Kovač, Srećko.
Logika .
Zagreb : Hrvatska sveučilišna naklada, 1998.
|
|
|
|
|
|
|
| |
Znanstveni radovi u drugim časopisima
|
| |
1. Kovač, Srećko.
Filozofija iznova kao znanost. // Filozofska istraživanja. 21 (2001) , 2-3; 455-462 (članak, znanstveni). 
|
2. Kovač, Srećko.
Obični i formalizirani jezik u logici. // Logika. 1 (2000) , 1; 3-9 (članak, znanstveni).
|
3. Kovač, Srećko.
Quineov platonizam i antiplatonizam. // Filozofska istraživanja. 19 (1999) , 1-2; 193-199 (članak, znanstveni).
|
4. Kovač, Srećko.
Imena - granični slučaj prijevoda. // Filozofska istraživanja. 19 (1999) , 4; 677-684 (članak, znanstveni).
|
5. Kovač, Srećko.
Quine's Platonism and Antiplatonism. // Synthesis philosophica. 14 (1999) , 1; 45-52 (članak, znanstveni).
|
6. Kovač, Srećko.
Franjo pl. Marković. // Studia historiae philosophiae Croaticae. 3 (1996) , 1; 169-188 (članak, znanstveni).
|
|
|
|
|
|
|
| |
Ostali radovi u drugim časopisima
|
| |
1. Kovač, Srećko.
Gödelov dokaz nepotpunosti. // Logika. 1 (2000) , 4; 2-12 (članak, pregledni).
|
2. Kovač, Srećko.
Gjuro Arnold. // Logika. 1 (2000) , 1; 4. korica (prikaz, pregledni).
|
3. Kovač, Srećko.
Vinko Pacel. // Logika. 1 (2000) , 2; 4. korica (prikaz, pregledni).
|
4. Kovač, Srećko.
Michael Wolff, Die Vollstaendigkeit der Kantischen Urteilstafel. // Filozofska istraživanja. 17 (1997) , 1; 253-255 (članak, stručni).
|
5. Kovač, Srećko.
Elfriede Conrad, Kants Vorlesungen. // Synthesis philosophica. 12 (1997) , 1; 302-304 (prikaz, stručni).
|
|
|
|
|
|
|
| |
Drugi radovi u zbornicima skupova s recenzijom
|
| |
1. Kovač, Srećko.
Marković i algebarska logika // Otvorena pitanja povijesti hrvatske filozofije / Barišić, Pavo (ur.).
Zagreb : Institut za filozofiju, 2000. 363-375 (predavanje,domaća recenzija,objavljeni rad,znanstveni).
|
|
|
|
|
|
|
| |
Sažeci u zbornicima skupova
|
| |
1. Kovač, Srećko.
Gödel and Kant on ontological proof // The Bulletin of Symbolic Logic, 8 (2002) 1, 143-144 ; Annals of Kurt Gödel Society, Vol. 4.
Springer, 2001. (predavanje,međunarodna recenzija,sažetak,znanstveni).
|
|
|
|
|
|
|
| |
Druge vrste radova
|
| |
1. Kovač, Srećko.
Elementarna logika, 2000.
(rukopis).
|
2. Kovač, Srećko.
Self-consciousness, observation sentences and first-order logic, 1998.
(rukopis).
|
3. Kovač, Srećko.
Pojam jedinstva u logici, 1997.
(rukopis).
|
4. Kovač, Srećko.
Logika, 1997.
(natuknica u enciklopediji, leksikonu, rječniku i sl.).
|
|
|
|
|
|
|
|
|
Sadržaj objavljen na bib.irb.hr (osim ako je drugačaije navedeno) podložan je pravilima Creative Commons licence
