https://123dok.net/document/yd7km4d1-semantics-realisability-classical-propositional-natural-deduction.html