Bounded variable logics and counting
a study in finite models
Edición de la obra Bounded variable logics and counting
| Autor | Martin Otto |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1996 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 183 |
| ISBN-10 | 3540620370 |
| Serie | Lecture notes in logic -- 9 |
| Número de Cutter | O91b |