Louis Couturat -Traité de Logique algorithmique Другие книги этой серии

One Hundred Years of Intuitionism (1907-2007)

2008