008-logical-completeness.pdf