Alice Ambrose — American logician (1906-2001)