Hans Georg Carstens (carstens-hg)

Contributions to Philosophie.ch

Bibliography

Carstens, Hans Georg. 1977. “The Theorem of Matijasevic is Provable in Peano’s Arithmetic by Finitely Many Axioms.” Logique et Analyse 20(77–78): 116–121.