history of logicsymbolic computationknowledge representation and reasoninglogic in computer sciencequantificationformal methodsautomated reasoninglogical formalismapplied mathematicsphilosophymathematical logicphilosophy of logicphilosophical logiccomputer science