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