Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions

PEZLAR, Ivo. Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions. In: SEDLÁR, I., BLICHA, M., eds. The Logica Yearbook 2018. London: College Publications, 2019, s. 197-210. ISBN 978-1-84890-307-4.