Formalisations of recursive arithmetic
In this thesis we shall present a new formalisation of the theory of primitive recursive functions, which is called Ternary Recursive Arithmetic. In a recent paper, Alonzo Church described a formalisation of recursive arithmetic in which single axioms of recursion and composition (i.e. definition by...
| Main Author: | |
|---|---|
| Published: |
University of Leicester
1961
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.737016 |