Bounded Variable Logic with Counting. A Study on Finite Models (1997)

by M Otto
Venue:Lecture Notes in Logic Nr. 9