https://medium.com/@gezicienes/research-papers-to-read-on-logic-on-computer-science-part-2-37d21ab122cf
