Kunović, Dora: Dokaz meta-teorema adekvatnosti za logiku sudova u sustavu prirodne dedukcije i u računu sudova

Ukupno Pogleda / Preuzimanja

Lokacije Pogleda / Preuzimanja