Vol-853⫷ Vol-854 ⫸Vol-855
urn:nbn:de:0074-854-0


None⫷None⫸None

Completeness Proof Strategies for Euler Diagram Logics