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