Number of the records: 1
Formalizace spojky implikace v klasické a neklasické logice
Title statement Formalizace spojky implikace v klasické a neklasické logice [rukopis] / Michal Šedík Additional Variant Titles Formalizace spojky implikace v klasické a neklasické logice Personal name Šedík, Michal (dissertant) Translated title Formalization of the propositional connective implication in a classical as well as non-classical logic Issue data 2009 Note Ved. práce Ivan Chajda Another responsib. Chajda, Ivan, 1946- (thesis advisor) Kühr, Jan (zkoušející) Emanovský, Petr, 1959- (opponent) Another responsib. Univerzita Palackého. Katedra algebry a geometrie (degree grantor) Form, Genre diplomové práce master's theses UDC (043)378.2 Country Česko Language čeština Document kind PUBLIKAČNÍ ČINNOST Title Mgr. Degree program Magisterský Degree program Fyzika Degreee discipline matematika - fyzika book
Kvalifikační práce Downloaded Size datum zpřístupnění 9239-545766566.pdf 10 189.1 KB 26.06.2009 Posudek Typ posudku 9239-ved-308775349.doc Posudek vedoucího 9239-opon-854299635.doc Posudek oponenta
Number of the records: 1