Normal view
MARC view
Chang, Chin-Liang(Personal Name)
Machine generated authority record
Work cat.: (OSt)1491450: Chang, Chin-Liang, Symbolic Logic and Mechanical Theorem Proving, Legacy