Normal view
MARC view
Finite sets (Topical Term)
Machine generated authority record.
Work cat.: (inmoiis)1763: Doets,Kees 165, The Haskell road to logic,maths and programming, 2004