Theorem Proving with the Real Numbers
 »

Wot, No School?
How Schools Impede Education »

Theorem Proving in Higher Order Logics
13th International Conference, Tphols 2000 Portland, or, USA, August 14-18, 2000 Proceedings »

How To Store Your Home Grown Produce
 »

The Laird Of Restalrig's Daughter
 »

The Iliad
The second in a six-volume commentary on The Iliad now in preparation. Volume I was published in 1985. The book consists of four introductory essays followed... »

Euripides
Iphigeneia At Aulis »

Office Procedures
 »

Oure Tounis Colledge
Sketches Of The History Of The Old College Of Edinburgh »

Euripides
Euripides Medea is the first title in the new series Cambridge Translationsfrom Greek Drama. »