Normal view
MARC view
Logic and proofs (Topical Term)
Machine generated authority record.
Work cat.: (OSt)185062: Johnsonbaugh, Richard. 47417, Discrete mathematics /, 2001.