TY - BOOK TI - Finite model theory T2 - Springer monographs in mathematics, SN - 9783540287872 (alk. paper) | 3540287876 (alk. paper) PY - 2006/// CY - New York, NY PB - Springer UR - http://www.columbia.edu/cgi-bin/cul/resolve?clio11307553 ER -