https://filesoo.com/product/4487/handbook-of-philosophical-logic