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

Total Views / Downloads

Views / Downloads Locations