Detalls del llibre
Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. The chapters include extensive bibliographies.
Llegir més - ISBN13 9780521718202
- ISBN10 0521718201
- Pàgines 356
- Any Edició 2011
- Fecha de publicación 10/03/2011
- Idioma Alemany, Francès



