Esparza, Javier,Ed Michaux, Christian
Finite and algorithmic model theory - Cambridge university press New York 2011 - 341 - London mathematical society lecture note series; 00379 .
9780521718202
510.6 ESP
Finite and algorithmic model theory - Cambridge university press New York 2011 - 341 - London mathematical society lecture note series; 00379 .
9780521718202
510.6 ESP