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/
Permanent link
http://hdl.handle.net/20.500.11956/37607Identifiers
Study Information System: 101280
CU Caralogue: 990012896770106986
Collections
- Kvalifikační práce [24107]
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