Wilkie, Alex
Oxford University - Models of arithmetic.

No queries for people.maths.ox.ac.uk/~wilkie