Provability logics for natural turing progressions of arithmetical theories
L. D. BeklemishevVolume:
50
Langue:
english
Pages:
22
Journal:
Studia Logica
DOI:
10.1007/bf00370390
Date:
March, 1991
Fichier:
PDF, 974 KB
english, 1991