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
bachelor thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/37607Identifiers
Study Information System: 101280
Collections
- Kvalifikační práce [22841]
Author
Advisor
Referee
Běhounek, Libor
Faculty / Institute
Faculty of Arts
Discipline
Logic
Department
Department of Logic
Date of defense
10. 2. 2011
Publisher
Univerzita Karlova, Filozofická fakultaLanguage
Czech
Grade
Very good