Intuitionistic choice and classical logic

Författare
Thierry Coquand
(Thierry Coquand, Erik Palmgren.)
Språk
Engelska
Förlag År Ort Om boken ISBN
1997 Sverige 17 sidor.