Normal view
MARC view
Logic and Proofs (Topical Term)
Machine generated authority record
Work cat.: (OSt)240536: Kenneth H Rosen 242122, Discrete mathematics and its applications Ed 8, 2025
