Normal view
MARC view
- Norrish, Michael
Norrish, Michael (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Gonthier, Georges. editor. 412450, Certified Programs and Proofs, 2013.