Vista normal
Vista MARC
- Damiani, Ferruccio.
Damiani, Ferruccio. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)300336: Berardi, Stefano. editor. 337681, Types for Proofs and Programs :
TEST - Catálogo BURRF
| |
TEST - Catálogo BURRF |
|
|---|
Machine generated authority record.
Work cat.: (MX-SnUAN)300336: Berardi, Stefano. editor. 337681, Types for Proofs and Programs :