Essential Logic P by Ronald C. Pine