Repository | Zeitschrift | Band | Artikel
Axiomatizations of arithmetic and the first-order/second-order divide
pp. 2583-2597
Publication details
Published in:
Bueno Otávio, Sher Gila (2019) Between first- and second-order logic. Synthese 196 (7).
Seiten: 2583-2597
DOI: 10.1007/s11229-014-0636-6
Referenz:
Dutilh Novaes Catarina (2019) „Axiomatizations of arithmetic and the first-order/second-order divide“. Synthese 196 (7), 2583–2597.