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