𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the asymptotic completeness of the Volterra calculus

✍ Scribed by Raphaël Ponge; H. Mikayelyan


Publisher
Springer-Verlag
Year
2004
Tongue
English
Weight
693 KB
Volume
94
Category
Article
ISSN
0021-7670

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Structural completeness of the first-ord
✍ W. A. Pogorzelski; T. Prucnal 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 427 KB

1. The problem of structural conipleteness of a logical system is formulated as the qiicstion about derivability in this system of all permissible and structural rules (cf. [lo]).