Normal view MARC view

Logic and proofs (Topical Term)

Preferred form: Logic and proofs

Machine generated authority record.

Work cat.: (OSt)185062: Johnsonbaugh, Richard. 47417, Discrete mathematics /, 2001.