Reports

04/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: Philippe Séguin: Ars combinatoria universalis (fragments of talk) / discussion: S Awodey, P Ehrlich & G Hellman / conversations: FW Lawvere, S Awodey re. A topos

There are no relevant reports for this item