Některé sémantické metody v intuicionistické logice

• Název práce v češtině: Některé sémantické metody v intuicionistické logice
• Název v anglickém jazyce: Some semantic methods in intuitionistic logic
• Akademický rok vypsání: 2009/2010
• Typ práce: rigorózní 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í: 07.01.2009
• Datum zadání: 07.01.2009
• Schválení administrátorem: zatím neschvalováno
• Datum a čas obhajoby: 26.02.2009 00:00
• Datum odevzdání elektronické podoby: 26.02.2009
• Datum proběhlé obhajoby: 26.02.2009
• Odevzdaná/finalizovaná: finalizovaná

Předběžná náplň práce

uzn. DP