Bounded variable logics and counting -

Otto, Martin

Aachen (1995)
Habil / Postdoctoral Thesis (Non-german Habil)

Aachen, Techn. Hochsch., Habil.-Schr., 1995