✦ LIBER ✦
Mechanizing hypothesis formation: P. Hájek and T. Havránek, Springer, 1978, 396 pp
✍ Scribed by Gian-Carlo Rota
- Publisher
- Elsevier Science
- Year
- 1986
- Tongue
- English
- Weight
- 59 KB
- Volume
- 60
- Category
- Article
- ISSN
- 0001-8708
No coin nor oath required. For personal study only.