Bounded variable logics and counting -

Otto, Martin

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

Page(s): 190 S.

Identifier

  • REPORT NUMBER: RWTH-CONV-111995