Henkin-Keisler Models - heftet, Engelsk, 2013