CITATION STYLE
Pohlers, W. (1984). PROOF - THEORETICAL ANALYSIS OF ID$_\nu$: BY METHOD OF LOCAL PREDICATIVITY. (E. Börger, W. Oberschelp, M. M. Richter, B. Schinzel, & W. Thomas, Eds.), Computation and Proof Theory: Proceedings of the Logic Colloquium Held in Aachen, July 18--23, 1983 Part II. Springer Berlin / Heidelberg.
Mendeley helps you to discover research relevant for your work.