{"version":"1.0","type":"rich","provider_name":"EbookNetworking","provider_url":"https://www.ebooknetworking.net","title":"Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)","author_name":"David J. Pym, Eike Ritter","thumbnail_url":"https://www.ebooknetworking.net/books/019/852/big0198526334.jpg","thumbnail_width":330,"thumbnail_height":500,"html":"<a href=\"https://www.ebooknetworking.net/books_detail-0198526334.html\">Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides)</a>","width":400,"height":300}