StavkaGPT site section
Main content and key data
Stats, analytics, and materials
Leagues, teams, and matches
Reference info and navigation
Quick answer
Players
What matters about {title}?
Герхард Карл Эрих Генцен — немецкий математик и логик, внёс большой вклад в исследование оснований математики и развитие теории доказательств, является создателем исчисления секвенций.
Biography
Герхард Карл Эрих Генцен — немецкий математик и логик, внёс большой вклад в исследование оснований математики и развитие теории доказательств, является создателем исчисления секвенций.
Fitness and injuries
No data.
Recent team matches
No data.