(no subject)

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