Prêmio Karp

O Prêmio Karp é concedido pela Associação da Lógica Simbólica desde 1973, para um livro ou artigo de destaque em lógica simbólica. É concedido a cada 5 anos e o trabalho premiado deve ser originado principalmente também dos cinco últimos anos. O prêmio é denominado em homenagem a Carol Karp, professora de lógica da University System of Maryland.[1]

LaureadosEditar

Referências

Ligações externasEditar