
Computation and Reasoning : A Type Theory for Computer Science
International Series of Monographs on Computer Science Innbundet Engelsk
Midlertidig utsolgt
Før en utgivelse er katalogisert vil den mangle noe metadata, typisk dewey og emne.

Viser 1