TY - CONF T1 - A Problem of Substitution in Extensional Contexts and Direct Reference T2 - Meze formalizace, analytičnosti a prostoročasu Y1 - 2007 A1 - Zouhar, Marián ED - Havlík, Vladimír JA - Meze formalizace, analytičnosti a prostoročasu PB - Filosofia Praha ER -