A method in proofs of undefinability with applications to functions in the arithmetic of natural numbers.

Door: Bouvère, K.L. de

---

• ISBN:
• Uitgever: North Holland Public 1959 sewed
• Taal:
• Categorie: science
• Details: 60 pp. Dissertation with the Stellingen. (code Sc-47)
• Extra informatie:
• € 8.00