Generic Programs and Proofs

Bibliográfalaš dieđut
Váldodahkki: Hinze, R
Materiálatiipa: Oahppočájánas
Almmustuhtton: 2000