Our definitions and proofs will usually be given in English; we assume that the reader knows how to translate these into the language of ZF.

Определения и доказательства будут даваться на русском языке; мы предполагаем, что читатель знает, как перевести их на язык теории ZF.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Here's how this algorithm translates to code:

Вот как этот алгоритм переводится на язык C++.

Alexandrescu, Andrei / Modern C++ Design: Generic Programming and Design Patterns AppliedАлександреску, Андрей / Современное проектирование на C++

Современное проектирование на C++

Александреску, Андрей

© Addison-Wesley Publishing Company, Inc.

© Издательский дом "Вильямс", 2002

Modern C++ Design: Generic Programming and Design Patterns Applied

Alexandrescu, Andrei

© 2001 by Addison-Wesley