Hledat
Zobrazují se záznamy 1-1 z 1
Důkazy v přirozené dedukci a sekventovém kalkulu v substrukturální logice FL
Proofs in natural deduction and sequent system in substructural logic FL
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2011
Datum obhajoby: 10. 02. 2011
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt nenalezen