Logic in Computer Science (COMP118)

Frank Wolter

Books, Lectures and Articles

A. Doxiadis and C. Papadimitriou:
Graphic novel about logic and the foundations of mathematics

Moshe Vardi:
Brief history of Logic,
Course Notes

J. Halpern, R. Harper, N. Immerman, P. Kolaitis, M. Vardi, V. Vianu:
On the unusual effectiveness of logic in computer science,

V. Vianu:
Logic as a Query Language: from Frege to XML