BIBLIOTECA

Normal view MARC view
  • Char, Richard

Char, Richard (Nombre personal)

Preferred form: Char, Richard

Machine generated authority record.

Work cat.: (AR-SiUPM): Char, Richard, Symbolic logic and Mechanical theorem proving