{"product_id":"sequents-and-trees-book-andrzej-indrzejczak-9783030571443","title":"Sequents and Trees","description":"This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49742778237201,"sku":"NGR9783030571443","price":54.99,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52343664902417,"sku":"NLS9783030571443","price":54.99,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52760410915089,"sku":"NIN9783030571443","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3030571440.jpg?v=1751157820","url":"https:\/\/www.worldofbooks.com\/en-gb\/products\/sequents-and-trees-book-andrzej-indrzejczak-9783030571443","provider":"World of Books ","version":"1.0","type":"link"}