TY - DATA AU - Mangani, P., editor. TI - Model Theory and Applications SN - 9783642111211, 978-3-642-11121-1 U1 - 511.3, PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Logic, Symbolic and mathematical KW - Mathematical Logic and Foundations KW - Mathematics N1 - Mathematics and Statistics (Springer-11649) UR - http://dx.doi.org/10.1007/978-3-642-11121-1 ER -