Normal view
MARC view
Logic and Proofs (Topical Term)
Machine generated authority record.
Work cat.: (OSt): University ,Auburn 104842, Discrete source /, 2006