Michael Wright Collection

Showing 3 results

Archival description

Dowek, Gilles

Print preview

Card view Table view

23/08/95 10th International Congress of Logic, Methodology and Philosophy of Science, Florence: M Wright notes & reflections / Gilles Dowek: Collections, sets and types / O Malhas: Algebraic structures induced by systems of abacus logic / C Headley: Platonism & abstract mathematical objects - Godel & Frege

michael-wright-collection-MW0003075 · Item

Part of Michael Wright Collection

11/04/08 Chruch's Thesis / Yesterday Today & Tomorrow, Symposium at Amphitheatre Descartes Sorbonne Paris 1: Jean-Baptiste Joinet: La these de Church et les metamorphoses de la logique et de calcul / Jean Mosconi: These de Church, these de Turing; formulations, variants & statut / Gilles Dowek: Le calcul Non-determinee sur les nombres reels

michael-wright-collection-MW0002321 · Item

Part of Michael Wright Collection

11/04/08 Chruch's Thesis / Yesterday Today & Tomorrow, Symposium at Amphitheatre Descartes Sorbonne Paris 1: Jean-Baptiste Joinet: La these de Church et les metamorphoses de la logique et de calcul / Jean Mosconi: These de Church, these de Turing; formulations, variants & statut / Gilles Dowek: Le calcul Non-determinee sur les nombres reels

michael-wright-collection-MW0002337 · Item

Part of Michael Wright Collection