Modern logic in the service of law - Tammelo, Ilmar (Springer-Verlag, 1978)