avg_rating: 4.6
name: Gerhard Gentzen