@inbook{inbook86f7952f,
title   = {Quantitative logic reasoning},
author = {Finger, Marcelo},
year = {2018},
doi = {10.1007/978-3-319-98797-2_12},
publisher = {Springer},
journal   = {Contradictions, from consistency to inconsistency}
}