Bi-unary interpretability logic
| Authors | |
|---|---|
| Publication date | 1990 |
| Series | Report, X-90-12 |
| Publisher | Amsterdam: Institute for Language, Logic and Information, University of Amsterdam |
| Organisations |
|
| Document type | Report |
| Permalink to this page | |
