{"version":"1.0","type":"rich","provider_name":"EbookNetworking","provider_url":"https://www.ebooknetworking.net","title":"Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)","author_name":"J. Lambek, P. J. Scott","thumbnail_url":"https://www.ebooknetworking.net/books/052/135/big0521356539.jpg","thumbnail_width":330,"thumbnail_height":500,"html":"<a href=\"https://www.ebooknetworking.net/books_detail-0521356539.html\">Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)</a>","width":400,"height":300}