Duality And Definability In First Order Logic door Michael Makkai