1
Assuntos:
“...[pt] PROVAS DE CONSISTENCIA...”
[pt] APLICAÇÕES DA PRIMEIRA PROVA DE CONSISTÊNCIA APRESENTADA POR GENTZEN PARA A ARITMÉTICA DE PEANO
Tese