By clibrary on Mon, 06/23/2025 - 19:52 Author Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg Publisher Springer Subject Mathematics Year 1981 Vol/Edition 897 ISBN 9783540386490 URL http://dx.doi.org/10.1007/BFb0091894