Title: Nine Papers on Logic and Quantum Electrodynamics