Axiomatizations of arithmetic and the first-order/second-order divide
pp. 2583-2597
Détails de la publication
Publié dans:
Bueno Otávio, Sher Gila (2019) Between first- and second-order logic. Synthese 196 (7).
Pages: 2583-2597
DOI: 10.1007/s11229-014-0636-6
Citation complète:
Dutilh Novaes Catarina, 2019, Axiomatizations of arithmetic and the first-order/second-order divide. Synthese 196 (7), Between first- and second-order logic, 2583-2597. https://doi.org/10.1007/s11229-014-0636-6.