Lattice-Valued Logic - heftet, Engelsk, 2010