Vol-1194⫷ Vol-1195 ⫸Vol-1196
urn:nbn:de:0074-1195-0


Vol-1195/long10⫷Vol-1195/long11⫸Vol-1195/long12
Cristiano LongoDomenico CantoneMarianna Nicolosi Asmundo

Herbrand-Satisfiability of a Quantified Set-theoretical Fragment