Vista normal
Vista MARC
Silva, Alexandra. editor. (Nombre personal)
Machine generated authority record.
Work cat.: (UQROO)71772: Constable, Robert L. editor. 192409, Logic and Program Semantics
Machine generated authority record.
Work cat.: (UQROO)71772: Constable, Robert L. editor. 192409, Logic and Program Semantics