Bounded Variable Logics and Counting - Martin Otto
-30% ar kodu BOOKS
Piegāde 17-23 darba dienu laikā
30 dienu atgriešanas politika
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas a ... Pilns apraksts
Jums varētu patikt arī
Aprašymas
Vairāk informācijas
| Autors | Martin Otto |
|---|---|
| Izdevējs | Cambridge University Press |
| Izlaides gads | 2017 |
| Vāka tips | Cietais vāks |
| EAN | 9781107167940 |