Jair Minoro Abe Introduction to Annotated Logics - Wiesbaden Springer 2015 ISBN: 9783319179117 Subjects--Topical Terms: COMPUTER_SCIENCE_ENGINEERING