In questo volume Apotema introduce il linguaggio degli insiemi e quello dei predicati come due linguaggi paralleli per descrivere le stesse situazioni, il primo in termini di oggetti, il secondo in termini di proprietà. Diverse le applicazioni, che vanno dai codici correttori di Hamming ai circuiti combinatori, ai grafi, ecc.