Mathematical Aspects of Logic Programming Semantics e-kirjaEnglanti, 2016