погибшие в советских пленах

Герхард Генцен Герхард Карл Эрих Генцен был немецким математиком и логиком, внесшим значительный вклад в основы математики и теорию доказательств.  […]