Informes

22/11/00 1st Tape conversations incl. FW Lawvere, A Peruzzi & M Wright (contd.) / 25/11/00 Roskilde Meeting on Existence in Mathematics, Denmark: Jasper Lutzen: existence in 19th century analysis