Родились Люди по фамилии Генцен, страница 1

Герхард Генцен

Немецкий математик и логик, внёс большой вклад в исследование оснований математики и развитие теории доказательств, является создателем исчисления секвенций....