Vista normal
Vista MARC
- Melham, Tom.
Melham, Tom. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)276958: Hurd, Joe. editor. 299259, Theorem Proving in Higher Order Logics :
TEST - Catálogo BURRF
| |
TEST - Catálogo BURRF |
|
|---|
Machine generated authority record.
Work cat.: (MX-SnUAN)276958: Hurd, Joe. editor. 299259, Theorem Proving in Higher Order Logics :