𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Remarks on soundness of proofs

✍ Scribed by Burmester, M.V.D.; Desmedt, Y.G.


Book ID
111935510
Publisher
The Institution of Electrical Engineers
Year
1989
Tongue
English
Weight
389 KB
Volume
25
Category
Article
ISSN
0013-5194

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Remarks on the Incompleteness Proof
✍ Gerold Stahl πŸ“‚ Article πŸ“… 1961 πŸ› John Wiley and Sons 🌐 English βš– 447 KB

by GEROLD S r a m in Santiago-Cldc 111 tlic following two. basic ways of dcvclopping the incoinpletcncss proof will bo (A) Two laugungcs of diffcrcnt lcvcls arc uscd jointly t o provc incomplctcnoss. (B) The proof is dcvcloppcd' cxclusivcly in one languagc (number-thcorctic language).

On a conjecture of Aris: Proof and remar
✍ Dan Luss; Neal R. Amundson πŸ“‚ Article πŸ“… 1967 πŸ› American Institute of Chemical Engineers 🌐 English βš– 428 KB πŸ‘ 2 views