| Original language | English |
|---|---|
| Title of host publication | Computational Logic: Essays in Honor of Alan Robinson |
| Editors | G. Lassez J-L & Plotkin |
| Publisher | MIT Press |
| ISBN (Print) | 0262121565, 9780262121569 |
| Publication status | Published - 1991 |
A Science of Reasoning
Research output: Chapter in Book/Report/Conference proceeding › Chapter