✦ LIBER ✦
An approach to a systematic theorem proving procedure in first-order logic
✍ Scribed by W. Bibel
- Publisher
- Springer Vienna
- Year
- 1974
- Tongue
- English
- Weight
- 860 KB
- Volume
- 12
- Category
- Article
- ISSN
- 0010-485X
No coin nor oath required. For personal study only.