"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-319-51653-0","Applied Logic for Computer Scientists","Computational Deduction and Formal Proofs","Mauricio Ayala-Rincón; Flávio L. C. de Moura",2017,"1","https://doi.org/10.1007/978-3-319-51653-0",419,""