Vista normal
Vista MARC
- Clerbout, Nicolas,
Clerbout, Nicolas, (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)320185: Clerbout, Nicolas, autor., Linking game-theoretical approaches with constructive type theory :