Constructive completeness of intutionistic predicate logic - a formalisation in type theory
- Författare
- Henrik Persson
- (Henrik Persson.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Dept. of Computing Science | 1996 | Sverige, Göteborg | ii, 98 sidor. |