Normal view
MARC view
- Wirsing, Martin
Wirsing, Martin (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Poernomo, Iman Hafiz. 307859, Adapting Proofs-as-Programs, 2005.