Logics In Artificial Intelligence door S. Flesca & G. Ianni