%0 Journal Article %A Pezlar, Ivo %D 2017 %J Logic and Logical Philosophy %N 4 %P 473-508 %T Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach %V 26