01197nam0-2200385-i-450-99000933862040332120110406125340.0978-0-521-71820-2paperback000933862FED01000933862(Aleph)000933862FED0100093386220110406d2011----km-y0itay50------baengUSa---a---001yyFinite and algorithmic model theoryedited by: Javier Esparza, Christian Michaux, Charles SteinhornCambridgeCambridge University Press2011XI, 341 p.23 cmLondon Mathematical Society lecture note series379Logica matematica e fondamentiPresentazione di ricercheApplicazioni della teoria di modelli511.322itaEsparza,JavierMichaux,ChristianSteinhorn,CharlesITUNINAREICATUNIMARCBK990009338620403321C-9-(37924588MA1MA103-0203C98Finite and algorithmic model theory766944UNINA