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


None⫷None⫸None
Jim Burton 0001Gem StapletonJohn Howse

Completeness Proof Strategies for Euler Diagram Logics