Lectures in proof theory and complexity