Louis Couturat -Traité de Logique algorithmique كتب أخرى بهذه السلسلة

One Hundred Years of Intuitionism (1907-2007) One Hundred Years of Intuitionism (1907-2007)
One Hundred Years of Intuitionism (1907-2007)
٢٠٠٨