{"product_id":"gordon-m-edinburgh-lcf-a-mechanized-logic-of-computation-lecture-notes-in-computer-science-78-band-78-9783540097242","title":"Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78, Band 78)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53719336517974,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/gordon-m-edinburgh-lcf-a-mechanized-logic-of-computation-lecture-notes-in-computer-science-78-band-78-9783540097242","provider":"momoxbooks","version":"1.0","type":"link"}