Reports

05/07/02 British Society for the Philosophy of Science Meeting, Glasgow: Alan Robinson & David Corfield: Formalised computer-generated proofs & math. explanation / David Corfield: A new agenda for the philosophy of math.

There are no relevant reports for this item