Vol-597⫷ Vol-598 ⫸Vol-599
urn:nbn:de:0074-598-0


None⫷None⫸None

A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs