Algorithmic Procedures
Harvey Friedman and Richard MansfieldVolume:
332
Language:
english
Journal:
Transactions of the American Mathematical Society
DOI:
10.2307/2154033
Date:
July, 1992
File:
PDF, 352 KB
english, 1992