Rigorous Mathematical Thinking door Alex Kozulin & James T. Kinard