{"version":"1.0","type":"rich","provider_name":"EbookNetworking","provider_url":"https://www.ebooknetworking.net","title":"Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday","author_name":"","thumbnail_url":"https://www.ebooknetworking.net/books/190/498/big1904987702.jpg","thumbnail_width":330,"thumbnail_height":500,"html":"<a href=\"https://www.ebooknetworking.net/books_detail-1904987702.html\">Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday</a>","width":400,"height":300}