Judy Green — American logician and historian of mathematics