Carol_Karp (original) (raw)

An Entity of Type : personne, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

Carol Karp, née Carol Ruth Vander Velde le 10 août 1926 à Forest Grove ( (en)) comté d'Ottawa dans l'état du Michigan aux États-Unis et morte le 20 août 1972 au Maryland, est une mathématicienne américaine. Elle est connue pour ses travaux en logique mathématique, plus spécifiquement en logique des langages infinitaires.