This VIAF Cluster has been deleted. It is no longer part of VIAF.
Lee, Richard Char-Tung, 1939-. | Symbolic logic and mechanical theorem proving
VIAF ID: 309307026 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/309307026
Preferred Forms
4xx's: Alternate Name Forms (3)
Selected Titles
Author
:
Lee, Richard Char-Tung