| Originalsprog | Engelsk |
|---|
| Udgivelsessted | Dordrecht |
|---|---|
| Forlag | Kluwer Academic Publishers |
| Status | Udgivet - 2000 |
| Navn | Synthese Library |
|---|---|
| Nummer | 292 |
| ISSN | 0166-6991 |
Citationsformater
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Proof theory
- Stig Andur Pedersen (Redaktør)
- , Vincent F. Hendricks (Redaktør)
- , Klaus Frovin Jørgensen (Redaktør)
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning