research
∙
04/07/2019
The Syntax of Disjunctive Propositional Logic and Algebraic L-domains
Based on the investigation of the proof system of a disjunctive proposit...
research
∙
09/13/2018