Vista normal
Vista MARC
Mathematical Logic and Foundations. (Término temático)
Machine generated authority record.
Work cat.: (UQROO)44512: Edwards, Harold M. author. 14060, Essays in Constructive Mathematics
Machine generated authority record.
Work cat.: (UQROO)44512: Edwards, Harold M. author. 14060, Essays in Constructive Mathematics