Vol-2263⫷ Vol-2264 ⫸Vol-2265
urn:nbn:de:0074-2264-0


Vol-2264/organization⫷None⫸None
José Martín Castro-Manzano

A tableaux method for term logic