𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A new reduction sequence for arithmetic

✍ Scribed by G. E. Mints


Book ID
105259049
Publisher
Springer US
Year
1982
Tongue
English
Weight
935 KB
Volume
20
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A New Arithmetic
πŸ“‚ Article πŸ“… 1947 πŸ› Nature Publishing Group 🌐 English βš– 123 KB
A New "Feasible" Arithmetic
✍ Stephen Bellantoni and Martin Hofmann πŸ“‚ Article πŸ“… 2002 πŸ› Association for Symbolic Logic 🌐 English βš– 281 KB