Publication details
Year: 2019
Pages: 2583-2597
Series: Synthese
Full citation:
, "Axiomatizations of arithmetic and the first-order/second-order divide", Synthese 196 (7), 2019, pp. 2583-2597.
Axiomatizations of arithmetic and the first-order/second-order divide
pp. 2583-2597
in: Otávio Bueno, Gila Sher (eds), Between first- and second-order logic, Synthese 196 (7), 2019.Publication details
Year: 2019
Pages: 2583-2597
Series: Synthese
Full citation:
, "Axiomatizations of arithmetic and the first-order/second-order divide", Synthese 196 (7), 2019, pp. 2583-2597.