Publications des Archives Henri Poincaré / Publications of the Henri Poincaré Archives

Philippe Henry and Others
Series • 2 Books • Mathematics
Louis Couturat -Traité de Logique algorithmique Louis Couturat -Traité de Logique algorithmique
Louis Couturat -Traité de Logique algorithmique
Oliver Schlaudt & Mohsen Sakhri
One Hundred Years of Intuitionism (1907-2007) One Hundred Years of Intuitionism (1907-2007)
One Hundred Years of Intuitionism (1907-2007)
Mark van Atten, Pascal Boldini, Michel Bourdeau & Gerhard Heinzmann