Teórico de lógica