https://filesoo.com/product/4458/handbook-of-mathematical-logic