Intuicionistická logika jako užitečný nástroj
Název práce v češtině: | Intuicionistická logika jako užitečný nástroj |
---|---|
Název v anglickém jazyce: | Intuitionistic logic as a useful tool |
Akademický rok vypsání: | 2009/2010 |
Typ práce: | diplomová práce |
Jazyk práce: | čeština |
Ústav: | Katedra logiky (21-KLOG) |
Vedoucí / školitel: | doc. RNDr. Vítězslav Švejdar, CSc. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 18.10.2010 |
Datum zadání: | 18.10.2010 |
Schválení administrátorem: | zatím neschvalováno |
Datum a čas obhajoby: | 16.09.2010 00:00 |
Datum odevzdání elektronické podoby: | 16.09.2010 |
Datum proběhlé obhajoby: | 16.09.2010 |
Odevzdaná/finalizovaná: | finalizovaná |
Oponenti: | Mgr. Marta Bílková, Ph.D. |