Sistema Bibliotecario de la Universidad de Quintana Roo

Su carrito está vacío

Vista normal Vista MARC

Braȭner, Torben. author. (Nombre personal)

Número de registros utilizados en: 1
Forma preferida: Braȭner, Torben. author.

Machine generated authority record.

Work cat.: (UQROO)78060: Braȭner, Torben. author., Hybrid Logic and its Proof-Theory