D. Rödding (roedding-d)

Beiträge zu Philosophie.ch

Bibliography

Hermes, Hans and Rödding, D. 1965. “A Method for Producing Reduction Types int he Restricted Lower Predicate Calculus.” in Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium, Oxford, July 1963), edited by John Newsome Crossley and Michael A. E. Dummett, pp. 42–47. Studies in Logic and the Foundations of Mathematics n. 40. Amsterdam: North-Holland Publishing Co.