🔗
Carol Karp - Wikipedia (en.wikipedia.org)
Carol Karp, born Carol Ruth Vander Velde (10 August 1926 in Forest Grove, Ottawa County, Michigan – 20 August 1972 in Arlington, Virginia), was an American #mathematician of Dutch ancestry best known for her work on infinitary logic. #womeninstem en.wikipedia.org/wiki/Carol_K...