Non-standard logics for automated reasoning - kovakantinen tietokirja vuodelta 1988
- Kunto: K3 (hyvä)
- Sidonta: Sidottu, kuvakannet (kovakantinen)
- Kieli: englanti
- Painos: 1
- Sivumäärä: 334
- Vuosi: 1988
- Muuta: pientä kulumaa kansissa, selkämyksessä hieman vinoutta