| Originalsprog | Engelsk |
|---|
| Udgivelsessted | Roskilde |
|---|---|
| Forlag | Roskilde Universitet |
| Status | Udgivet - 2001 |
| Navn | Tekster fra IMFUFA |
|---|---|
| Nummer | 401 |
| ISSN | 0106-6242 |
Finite type arithmetic: computable existence analysed by modified realisability and functional interpretation
Klaus Frovin Jørgensen
Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning