Taras Kudryk

Is Leibnizian Calculus Embeddable in First Order Logic?

Vladimir Kanovei, Thomas Mormann, Mikhail G. Katz, 2016, 1605.03501.

Analyzing Benardete's comment on decimal notation

Piotr Blaszczyk, Mikhail G. Katz, Karin U. Katz, 2017 .

Cauchy, infinitesimals and ghosts of departed quantifiers

Piotr Blaszczyk, Vladimir Kanovei, Thomas Mormann, 2017, 1712.00226.