FINITE MODEL THEORY AND ITS APPLICATIONS

GRADEL ERICH

FINITE MODEL THEORY AND ITS APPLICATIONS - SPRINGER 2007 - 437 P

9783540004288


MATHEMATICS

511.34 GRA