Set Theory for Knowledge Representation door Cristiano Longo