On multiple conclusion deductions in classical logic - Maretić, Marcel (2018)
Bibliografija: 20 jed.
Keywords: Prirodna dedukcija -- Klasična logika -- Dedukcija -- Zaključivanje -- Matematička logika