Bounded Variable Logics And Counting: A Study In Finite Models
by Martin Otto /
1997 / English / PDF
5.3 MB Download
Bounded variable logics and counting: a study in finite models