A smart child of Peano’s. Notre Dame (1994)

by Shavrukov
Venue:Journal of Formal Logic