Modern logic in the service of law / Ilmar Tammelo. Wien [u.a.] : Springer, 1978