Magnus Nordén

• Logische Beziehungskonzepte und Inferenzprozeduren