Hrvatska znanstvena bibliografija (CROSBI)




Ponedjeljak 25. Studeni 2024

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