Finite and Algorithmic Model Theory
Häftad, Engelska, 2011
Av Javier (Technische Universitat Munchen) Esparza, Christian Michaux, New York) Steinhorn, Charles (Vassar College, Javier Esparza, Charles Steinhorn
1 099 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2011-03-10
- Mått154 x 227 x 18 mm
- Vikt518 g
- SpråkEngelska
- SerieLondon Mathematical Society Lecture Note Series
- Antal sidor356
- FörlagCambridge University Press
- EAN9780521718202