skip to content
Karp, Carol, papers, 1949-1987. Preview this item
ClosePreview this item
Checking...

Karp, Carol, papers, 1949-1987.

Author: Carol Karp
Edition/Format:   Archival material : English
Publication:Archives of American Mathematics.
Database:WorldCat
Summary:
Carol Karp (1926-1972) was a professor of mathematics known primarily for her contributions to the foundations of mathematics and logic. The collection consists of correspondence, drafts, printed material, grant proposals, and teaching materials related to Karp's work on infinite languages and recursion theory at the University of Maryland (1958-1972).
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Named Person: Jon Barwise; Carol Karp; Judy Green; Edgar G K Lopez-Escobar
Document Type: Archival Material
All Authors / Contributors: Carol Karp
OCLC Number: 74906995
Description: 1 ft. 3 in.
More information:

Abstract:

Carol Karp (1926-1972) was a professor of mathematics known primarily for her contributions to the foundations of mathematics and logic. The collection consists of correspondence, drafts, printed material, grant proposals, and teaching materials related to Karp's work on infinite languages and recursion theory at the University of Maryland (1958-1972).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/74906995> # Karp, Carol, papers,
    a library:ArchiveMaterial, schema:CreativeWork ;
   library:oclcnum "74906995" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/xxu> ;
   rdfs:comment "Unknown 'gen' value: arc" ;
   schema:about <http://id.worldcat.org/fast/972420> ; # Infinitary languages
   schema:about <http://id.worldcat.org/fast/1091982> ; # Recursion theory
   schema:about <http://experiment.worldcat.org/entity/work/data/61084385#Person/lopez_escobar_edgar_g_k_1937> ; # Edgar G. K. Lopez-Escobar
   schema:about <http://viaf.org/viaf/34471625> ; # Jon Barwise
   schema:about <http://experiment.worldcat.org/entity/work/data/61084385#Organization/journal_of_symbolic_logic> ; # Journal of Symbolic Logic.
   schema:about <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
   schema:about <http://experiment.worldcat.org/entity/work/data/61084385#Person/karp_carol_1926_1972> ; # Carol Karp
   schema:about <http://viaf.org/viaf/52481445> ; # Carol Karp
   schema:about <http://id.loc.gov/authorities/subjects/sh85112012> ; # Recursion theory
   schema:about <http://experiment.worldcat.org/entity/work/data/61084385#Person/barwise_jon> ; # Jon Barwise
   schema:about <http://experiment.worldcat.org/entity/work/data/61084385#Person/green_judy> ; # Judy Green
   schema:about <http://id.loc.gov/authorities/subjects/sh85066097> ; # Infinitary languages
   schema:about <http://experiment.worldcat.org/entity/work/data/61084385#Organization/association_for_symbolic_logic> ; # Association for Symbolic Logic
   schema:creator <http://viaf.org/viaf/52481445> ; # Carol Karp
   schema:description "Carol Karp (1926-1972) was a professor of mathematics known primarily for her contributions to the foundations of mathematics and logic. The collection consists of correspondence, drafts, printed material, grant proposals, and teaching materials related to Karp's work on infinite languages and recursion theory at the University of Maryland (1958-1972)." ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/61084385> ;
   schema:inLanguage "en" ;
   schema:name "Karp, Carol, papers," ;
   schema:productID "74906995" ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/74906995> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/61084385#Organization/association_for_symbolic_logic> # Association for Symbolic Logic
    a schema:Organization ;
   schema:name "Association for Symbolic Logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/61084385#Organization/journal_of_symbolic_logic> # Journal of Symbolic Logic.
    a schema:Organization ;
   schema:name "Journal of Symbolic Logic." ;
    .

<http://experiment.worldcat.org/entity/work/data/61084385#Person/barwise_jon> # Jon Barwise
    a schema:Person ;
   schema:familyName "Barwise" ;
   schema:givenName "Jon" ;
   schema:name "Jon Barwise" ;
    .

<http://experiment.worldcat.org/entity/work/data/61084385#Person/green_judy> # Judy Green
    a schema:Person ;
   schema:familyName "Green" ;
   schema:givenName "Judy" ;
   schema:name "Judy Green" ;
    .

<http://experiment.worldcat.org/entity/work/data/61084385#Person/karp_carol_1926_1972> # Carol Karp
    a schema:Person ;
   schema:birthDate "1926" ;
   schema:deathDate "1972" ;
   schema:familyName "Karp" ;
   schema:givenName "Carol" ;
   schema:name "Carol Karp" ;
    .

<http://experiment.worldcat.org/entity/work/data/61084385#Person/lopez_escobar_edgar_g_k_1937> # Edgar G. K. Lopez-Escobar
    a schema:Person ;
   schema:birthDate "1937" ;
   schema:familyName "Lopez-Escobar" ;
   schema:givenName "Edgar G. K." ;
   schema:name "Edgar G. K. Lopez-Escobar" ;
    .

<http://id.loc.gov/authorities/subjects/sh85066097> # Infinitary languages
    a schema:Intangible ;
   schema:name "Infinitary languages" ;
    .

<http://id.loc.gov/authorities/subjects/sh85112012> # Recursion theory
    a schema:Intangible ;
   schema:name "Recursion theory" ;
    .

<http://id.worldcat.org/fast/1091982> # Recursion theory
    a schema:Intangible ;
   schema:name "Recursion theory" ;
    .

<http://id.worldcat.org/fast/972420> # Infinitary languages
    a schema:Intangible ;
   schema:name "Infinitary languages" ;
    .

<http://viaf.org/viaf/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
   schema:name "Association for Symbolic Logic." ;
    .

<http://viaf.org/viaf/34471625> # Jon Barwise
    a schema:Person ;
   schema:familyName "Barwise" ;
   schema:givenName "Jon" ;
   schema:name "Jon Barwise" ;
    .

<http://viaf.org/viaf/52481445> # Carol Karp
    a schema:Person ;
   schema:birthDate "1926" ;
   schema:deathDate "1972" ;
   schema:familyName "Karp" ;
   schema:givenName "Carol" ;
   schema:name "Carol Karp" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.