𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Writing Out the Sin: Arthur, Charlemagne and the Spectre of Incest

✍ Scribed by Miranda Griffin


Book ID
106482083
Publisher
Springer Netherlands
Year
2004
Tongue
English
Weight
120 KB
Volume
88
Category
Article
ISSN
0028-2677

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On the Difficulty of Writing Out formal
✍ Ryo Kashima; Takeshi Yamaguchi πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 266 KB

## Abstract Let β„Έ be the set of GΓΆdel numbers Gn(__f__) of function symbols __f__ such that PRA ⊒ and let Ξ³ be the function such that We prove: (1) The r. e. set β„Έ is m‐complete; (2) the function Ξ³ is not primitive recursive in any class of functions {__f__~1~, __f__~2~, ⃛} so long as each __f~i~