Претрага
Резултати
Modal logic as metalogic [1992]
Došen, Kosta
Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities [2020]
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran
Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts [2025]
Borisavljevic, Mirjana PФилтери
По типу