キャロル・カープ賞
キャロル・カープ賞 (Carol Karp Prize) は、記号論理学会(英語: Association for Symbolic Logic)より授与される賞の一つ。5年に一度、数理論理学における最も卓越した論文・著書に対し贈られる。なお、この賞は研究者ではなく業績に対して授与されるので、同一人物が複数回受賞することが可能である。
1973年、早逝した論理学者キャロル・カープ(en)を記念して設立された。数理論理学・数学基礎論分野における最も栄誉ある賞とみなされている。