Normal view
MARC view
Chang Ching-Liang (Personal Name)
Machine generated authority record.
Work cat.: (OSt)830262: Chang Ching-Liang, Symbolic logic and mechanical theorem proving., 1973