Encyclopaedia of ethics and logic (v.10 : logic and mathematics) - John H Piet (ed.) (Cosmo, 2000)