1
by d'Avila Garcez, Artur S., Broda, Krysia B., Gabbay, Dov M.
Published 2002
Springer London
..., and an invaluable overview of the latest research issues in this area. It is divided into three sections, covering...