Home›Books›Introduction to Annotated LogicsIntroduction to Annotated Logicsby Jair Minoro Minoro Abe, Seiki Akama, Kazumi NakamatsuNo description available.Logic, symbolic and mathematicalLogic programming