Normal view
MARC view
- Lee, Tung
Lee, Tung (Nombre personal)
Machine generated authority record.
Work cat.: (AR-SiUPM): Char, Richard 13273, Symbolic logic and Mechanical theorem proving