Normal view
MARC view
Sets proof templates and induction (Topical Term)
Machine generated authority record.
Work cat.: (OSt)190079: Haggard, Gary. 47368, Discrete mathematics for computer science /, 2006.
