Computers and mathematics - Barwise, Jon (The Society, 1989)