avg_rating: 4.5
name: J. And S. Feferman Ed Barwise