✦ LIBER ✦
First-Order Logic and Automated Theorem Proving, M. Fitting, Springer, 1990, 242 pp.
✍ Scribed by G.-C. Rota
- Publisher
- Elsevier Science
- Year
- 1994
- Tongue
- English
- Weight
- 41 KB
- Volume
- 104
- Category
- Article
- ISSN
- 0001-8708
No coin nor oath required. For personal study only.