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


None⫷None⫸None
Gem StapletonJohn HowseJim Burton 0001

Completeness Proof Strategies for Euler Diagram Logics