Internet : http://www.maths.anu.edu.au/imu (IMU Canberra Circular, n. 103, 09-1997).
LCNA (CD), 1996-06
Meaning and method : essays in honor of Hilary Putnam / ed. by George Boolos, 1990.
Computability and logic / George S. Boolos, Richard C. Jeffrey, 1989