Elementary Logics: A Procedural Perspective (Ellis Horwood Series in Artificial Intelligence)