Математический мир

Математическое доказательство: от поколения к поколению

K. Buzzard, J. Bayer, Ch. Benzmüller, M. David, E. I. Zel'manov, L. Lamport, Yu. V. Matiyasevich, L. Paulson, B. Stock, D. Schleicher