Is Leibnizian calculus embeddable in first order logic? - Piotr Blaszczyk; et al. (Springer Science+Business Media, 2016)