Alice Ambrose - American logician (1906-2001)