Der Karp-Preis 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) be...