On normalization of proofs in set theory
- Författare
- Lars Hallnäs
- (Lars Hallnäs.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Holms gård | 1983 | Sverige, Stockholm, Edsbruk | 167 sidor. 30 cm |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Holms gård | 1983 | Sverige, Stockholm, Edsbruk | 167 sidor. 30 cm |