Vol-1009⫷ Vol-1010 ⫸Vol-1011
urn:nbn:de:0074-1010-0


None⫷None⫸None
Sergei D. Meshveliani

Dependent types for an adequate programming of algebra