Normal view
MARC view
- Church
Church (TÉRMINO TEMÁTICO)
Machine generated authority record.
Work cat.: (ES-SlBCS)773655: Méndez, Sephus 346027, Un teorema sobre la axiomatización de CW