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