Concepedia

Carol Karp

CK

Statistics

Publications

2

Citations

266

H-Index

2

Active since

1964

Affiliations

University of Maryland, College Park(Current)

Carol Karp is an author at University of Maryland, College Park specializing in engineering, mathematical foundations, and formal methods.

Top concepts

Publications per year

1964–1967

2

Publications

2

Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp.

Carol Karp · Journal of Symbolic Logic · 1964 · 254 citations

, , +4

Nonaxiomatizability results for infinitary systems

Carol Karp · Journal of Symbolic Logic · 1967 · 12 citations

, , +12

1–2 of 2