Theory of deductive systems and its applications
- Originaltitel
- Teoriia deduktivnykh sistem i ee primeneniia. English
- Författare
- S. Yu. Maslov
- (S.Yu. Maslov translated by Vladimir Lifschitz and Michael Gelfond)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| MIT Press | 1987 | USA, Cambridge, Mass | 151 sidor. | 0-262-13223-0 |