Stuart_Armstrong comments on Proofs, Implications, and Models

[Stuart_Armstrong]

I never got a course in formal logic, and could probably have been close to being a math professor by now.