Bounded variable logics and counting -

Aachen (1995) [Habilitationsschrift]

Seite(n): 190 S.

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Otto, Martin

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-111995