## A Problem Course in Mathematical Logic

From: "andrew cooke" <andrew@...>

Date: Tue, 24 Jan 2006 21:47:21 -0300 (CLST)

http://euclid.trentu.ca/math/sb/pcml/

Looks OK so far (page 5 - just learnt something new; that n and u can be
expressed in terms of => and -, although this probably assumes EM).

Andrew