TY  - RPRT
TI  - Is Leibnizian calculus embeddable in first order logic?
AU  - Piotr Blaszczyk
AU  - Vladimir Kanovei
AU  - Karin U. Katz
AU  - Mikhail G. Katz
AU  - Taras Kudryk
AU  - Thomas Mormann
AU  - David Sherry
PY  - 2016
DO  - 10.1007/s10699-016-9495-6
UR  - https://arxiv.org/abs/1605.03501
ID  - 1605.03501
ER  -