
Transfinite induction within Peano arithmetic
Richard SommerVolume:
76
Année:
1995
Langue:
english
Pages:
59
DOI:
10.1016/0168-0072(95)00029-g
Fichier:
PDF, 3.43 MB
english, 1995