30 citations · 199 across the 25 of their papers we have counts for
1 paper · 2 filters
Piotr Blaszczyk, Vladimir Kanovei, Karin U. Katz +4
To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus o…