Vista normal
Vista MARC
- Wenzel, Makarius.
Wenzel, Makarius. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)300455: Berghofer, Stefan. editor. 337875, Theorem Proving in Higher Order Logics :
TEST - Catálogo BURRF
