Bounded variable logics and counting : a study in finite models /
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 publ...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Otto, Martin, 1961- (Autor) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cambridge ; New York :
Cambridge University Press,
2017.
|
Colección: | Lecture notes in logic ;
9. |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Model emergent dynamics in complex systems /
por: Roberts, A. J. (Anthony John), 1957-
Publicado: (2015) -
Computation and automata /
por: Salomaa, Arto
Publicado: (1985) -
Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems /
Publicado: (2008) -
Computational complexity : a quantitative perspective /
por: Zimand, Marius
Publicado: (2004) -
Theory of computational complexity /
por: Du, Dingzhu, et al.
Publicado: (2014)