名古屋大学附属図書館




1

The complexity of subclasses of logical theories

von Erich Grädel. -- Universität Basel, 1987.