Zum Inhaltsbereich Zur Hauptnavigation Zur Suche
Sie sind hier: Bounded variable logics and counting -
Zur Portalseite
Otto, Martin (Author)
Aachen (1995) [Habilitationsschrift]
Seite(n): 190 S.
nach oben