Albert Visser Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency. 161-196 1989 30 Notre Dame Journal of Formal Logic 2 db/journals/ndjfl/ndjfl30.html#Visser89