Axiomatizations of arithmetic and the first-order/second-order divide

Catarina Dutilh Novaes

pp. 2583-2597


This document is unfortunately not available for download at the moment.

Not implemented yet !