Finite and algorithmic model theory / edited by Javier Esparza, Christian Michaux, Charles Steinhorn.    Cambridge ; New York : Cambridge University Press, 2011 . 1 online zdroj (xi, 341 stran)
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=399283