𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On proofs of rejection

✍ Scribed by Walenty Staszek

Publisher
Springer Netherlands
Year
1971
Tongue
English
Weight
320 KB
Volume
29
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On calculational proofs
On calculational proofs
✍ Vladimir Lifschitz πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 96 KB
A note on proofs of falsehood
A note on proofs of falsehood
✍ Krajíček, Jan πŸ“‚ Article πŸ“… 1987 πŸ› Springer-Verlag βš– 309 KB
A note on religious proofs
A note on religious proofs
✍ James E. Tomberlin πŸ“‚ Article πŸ“… 1970 πŸ› Springer Netherlands 🌐 English βš– 111 KB
On the complexity of cutting-plane proof
On the complexity of cutting-plane proofs
✍ W. Cook; C.R. Coullard; Gy. TurΓ‘n πŸ“‚ Article πŸ“… 1987 πŸ› Elsevier Science 🌐 English βš– 881 KB