✦ LIBER ✦
Proof theory of many-valued logic—linear optimization—logic design: connections and interactions
✍ Scribed by R. Hähnle
- Publisher
- Springer
- Year
- 1997
- Tongue
- English
- Weight
- 662 KB
- Volume
- 1
- Category
- Article
- ISSN
- 1432-7643
No coin nor oath required. For personal study only.