An edition of Bounded variable logics and counting (1996)
Bounded variable logics and counting
a study in finite models
By Martin Otto
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1996
Publisher
Springer
Language
eng
Pages
188
Description:
subjects: Model theory, Computational complexity