Издания и произведения

Основания математики. Теория доказательств

Давид Гильберт, Пауль Исаак Бернайс