Carol KarpPapers 1949-1987

  1. Resources
  2. View Resource

ArchivalResource

Carol KarpPapers 1949-1987

http://www.lib.utexas.edu/taro/utcah/00521/00521-P.html

Carol Karp (1926-1972)was a professor of mathematics known primarily for her contributions to thefoundations of mathematics and logic. The collection consists ofcorrespondence, drafts, printed material, grant proposals, and teachingmaterials related to Karp’s work on infinite languages and recursion theory atthe University of Maryland (1958-1972).

eng,

Archives of American Mathematics, Center for American History, The University of Texas at Austin

Information

SNAC Resource ID: 6642579

Related Entities

There are 8 Entities related to this resource.

Barwise, Jon

http://n2t.net/ark:/99166/w6393qq3 (person)

López-Escobar, Edgar G. K. (1937- ).

http://n2t.net/ark:/99166/w62j8q9q (person)

Karp, Carol, 1926-1972

http://n2t.net/ark:/99166/w6w97mc1 (person)

Carol Karp (1926-1972) was a professor of mathematics known primarily for her contributions to the foundations of mathematics and logic. Born Carol Ruth Vander Velde on August 10, 1926 in Forrest Grove, Michigan, Karp later went on to earn degrees in mathematics from Manchester College in Indiana (B.A., 1948) and Michigan State University (M.A., 1950). After teaching for a brief period at New Mexico State University (1953-1954), she pursued her doctorate studies in mathematics at the University ...

Association for symbolic logic

http://n2t.net/ark:/99166/w61g51p7 (corporateBody)

University of Maryland. Dept. of Mathematics.

http://n2t.net/ark:/99166/w6199qmd (corporateBody)

Scott, Dana S.

http://n2t.net/ark:/99166/w6gc8jrg (person)

Journal of Symbolic Logic

http://n2t.net/ark:/99166/w66r04g6 (corporateBody)

Green, Judy

http://n2t.net/ark:/99166/w6dm1wq9 (person)