Wolfram Pohlers (pohlers)

Contributions to Philosophie.ch

Bibliography

Pohlers, Wolfram. 1982. “Admissibility in Proof Theory: A Survey.” in Logic, Methodology, and Philosophy of Science VI: Proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979, edited by Laurence Jonathan Cohen, Jerzy Łoś, Helmut Pfeiffer, and Klaus-Peter Podewski, pp. 123–139. Studies in Logic and the Foundations of Mathematics n. 104. Amsterdam: North-Holland Publishing Co.
Pohlers, Wolfram. 1998. “Subsystems of Set Theory and Second-Order Number Theory.” in Handbook of Proof Theory, edited by Samuel R. Buss, pp. 209–335. Studies in Logic and the Foundations of Mathematics n. 137. Amsterdam: Elsevier Science Publishers B.V.