Prêmio Karp

Origem: Wikipédia, a enciclopédia livre.

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]

Laureados[editar | editar código-fonte]

Referências

Ligações externas[editar | editar código-fonte]