On multiple conclusion deductions in classical logic.

Autor: MARETIĆ, MARCEL1 marcel.maretic@foi.hr
Zdroj: Mathematical Communications. 2018, Vol. 23 Issue 1, p79-95. 17p.
Databáze: Academic Search Ultimate
Externí odkaz: