(no subject)

[gusl]

learning logic from Chris Swoyer

FOL Theoriesabout properties of first-order theories, this seems like an easy introduction arithmetic theories.

here is the complete text

Comments

[lo5an.livejournal.com]

Swoyer taught my courses in symbolic logic.
It was odd seeing his name pop up in the lj context :)