Affichage de 3 résultats

Description archivistique

Dowek, Gilles

Aperçu avant impression

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

MW0003075 · Pièce

Fait partie de 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

MW0002321 · Pièce

Fait partie de 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

MW0002337 · Pièce

Fait partie de Michael Wright Collection