An algebraic proof of the disjunction property Bibliographic details Authors Rostislav Horčík Publication year 2011 Publication type Abstrakt Periodical Algebra and Coalgebra meet Proof Theory Bibliographic citation HORČÍK, Rostislav. An algebraic proof of the disjunction property. In: Algebra and Coalgebra meet Proof Theory. Universität Bern, 2011, S. 6-6. ID 369935
