Thanks for the pointers to the papers. One book which seems not that well known is Arindama Singh's Logics for Computer Science 2nd edition - https://www.phind

Thanks for the pointers to the papers. One book which seems not that well known is Arindama Singh's Logics for Computer Science 2nd edition - https://www.phindia.com/Books/BookDetail/9789387472433/LOGICS-FOR-COMPUTER-SCIENCE-SINGH https://www.phindia.com/Books/BookDetail/9789387472433/LOGIC... For more details see author's webpage - https://home.iitm.ac.in/asingh/books.html https://home.iitm.ac.in/asingh/books.html