Epimorphism surjectivity in varieties of Heyting algebras
Given at UJ Logic Workshop in 2019 at Johannesburg, South Africa
is part of
talks
made by Jamie Wannenburg