Metric Boolean algebras and constructive measure theory

Författare
Thierry Coquand
Språk
Engelska
Förlag År Ort Om boken ISBN
2000 Sverige, Uppsala 14 sidor.