Unsolvable classes of quantificational formulas
- Författare
- Harry R. Lewis
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Addison Wesley | 1979 | USA, Reading, Mass | 198 sidor. : diagr. | 0-201-04069-7 |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Addison Wesley | 1979 | USA, Reading, Mass | 198 sidor. : diagr. | 0-201-04069-7 |