bokomslag Finite and Algorithmic Model Theory

1119:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

356 sidor
2011

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.

Författare: Javier Esparza, Christian Michaux, Charles Steinhorn, Javier Esparza, Charles Steinhorn
Format: Pocket/Paperback
ISBN: 9780521718202
Språk: Engelska
Antal sidor: 356
Utgivningsdatum: 2011-03-10
Förlag: Cambridge University Press