EBBINGHAUS, Heinz Dieter/FLUM, Jorg FINITE MODEL THEORY - OFICINA GENERAL DE PROMOCION Y DESARROLLO DE LA INVESTIGACION-UNT 1999 Dewey Class. No.: 511.8/E12