AMCL 1992 Lecture 3 - The Logic of Paul's Gospel