Text this: A course in constructive algebra /