Partiality - Keller, Simon (Princeton University Press, 2013)