Keywords: Formal Logic (Computational, Mathematical, Philosophical), Type Theory, Declarative Programming, Autonomous Agents, Verification
Mathematics is the art of making vague intuitive ideas precise and then studying the result...
The tool available for practicing the art is logic
Logicism Renewed: Logical Foundations for Mathematics and Computer Science
Paul C. Gilmore (Association for Symbolic Logic 2005)
Jørgen Villadsen 2010-10-10 imm.dtu.dk/~jv/logic