Normal view
MARC view
Association for Symbolic Logic (Corporate Name)
Machine generated authority record.
Work cat.: (EG-GaU)32: Tent, Katrin, 1963- author. 158, A course in model theory /