Normal view
MARC view
Toledo, Sue, 1940- (Personal Name)
Machine generated authority record.
Work cat.: ()857582: Toledo, Sue, 1940-, Tableau systems for first order number theory and certain higher order theories /, 1975
