crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 908066

Časopis

Autori: Maretić, Marcel
Naslov: On multiple conclusion deductions in classical logic
( On multiple conclusion deductions in classical logic )
Izvornik: Mathematical communications (1331-0623) 23 (2018), 1; 79-95
Vrsta rada: članak
Ključne riječi: multiple conclusion natural deductions ; Kneale's developments ; analytic deductions ; classical propositional logic
( multiple conclusion natural deductions ; Kneale's developments ; analytic deductions ; classical propositional logic )
Sažetak:
Ima sazetak
Izvorni jezik: eng
Rad je indeksiran u
bazama podataka:
Scopus
Science Citation Index Expanded (SCI-EXP) (sastavni dio Web of Science Core Collectiona)
Kategorija: Znanstveni
Znanstvena područja:
Matematika
URL Internet adrese: https://www.tandfonline.com/doi/abs/10.1080/14029251.2018.1452670
http://www.mathos.unios.hr/mc/index.php/mc/article/view/2349/524
URL cjelovitog teksta:
Google Scholar: On multiple conclusion deductions in classical logic
Upisao u CROSBI: Marcel Maretić (mmaretic@foi.hr), 27. Stu. 2017. u 10:12 sati



  Verzija za printanje   za tiskati


upomoc
foot_4