Der Karp-Preis (englisch Karp Prize) ist ein von der Association for Symbolic Logic seit 1973 für ein herausragendes Buch oder einen herausragenden Aufsatz in symbolischer Logik vergebener Preis. Er wird alle fünf Jahre vergeben und die preisgekrönten Arbeiten sollten auch überwiegend aus den letzten fünf Jahren zuvor stammen. Er ist nach Carol Karp (1926–1972) benannt, einer Professorin für Logik an der University of Maryland.

Preisträger

Bearbeiten
Bearbeiten