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)
Zobrazit/
Trvalý odkaz
http://hdl.handle.net/20.500.11956/37607Identifikátory
SIS: 101280
Katalog UK: 990012896770106986
Kolekce
- Kvalifikační práce [24984]
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
10. 2. 2011
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Čeština
Známka
Velmi dobře