Bounded variable logics and counting : a study in finite models
Author(s)
Bibliographic Information
Bounded variable logics and counting : a study in finite models
(Lecture notes in logic, 9)
Springer, c1997
Available at / 25 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. [177]-179) and index