Bridges from Classical to Nonmonotonic Logic (Texts in Computing Vol.5 5)