𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On a necessary condition in the calculus of variations

✍ Scribed by R. Landes


Book ID
112910835
Publisher
Springer Milan
Year
1992
Tongue
Italian
Weight
605 KB
Volume
41
Category
Article
ISSN
0009-725X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Sufficient and Necessary Condition for t
✍ H. AndrΓ©ka; T. Gergely; I. NΓ©meti πŸ“‚ Article πŸ“… 1974 πŸ› John Wiley and Sons 🌐 English βš– 140 KB πŸ‘ 1 views

I n this study we reformulate GODEL'S completeness theorem such that any firstorder calculus can be tested for completeness. The theorem in this form gives simple sufficient and necessary algebraic conditions for the calculus to be complete.