add model-theory and undecidability chapters to first-order-logic