Vista normal
Vista MARC
Logic, Symbolic and mathematical. (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