Литература по формальной ZFC

[kernel1983]

Здравствуйте. Есть ли какая-то литература на русском языке по формальной теории множеств Цермело-Френкеля? Нужна именно формальная теория (построенная как исчисление). Спасибо.

[Gagarin1968]

Есть прекрасная советская переводная "Основания теории множеств" самого Френкеля. 60-х или 70-х годов. Очень толстая. В своё время читал с удовольствием.

[kernel1983]

Gagarin1968, спасибо. Эта книга у меня есть. Но там излагается неформальная аксиоматическая теория, а мне нужна формальная. Такое изложение, как мне нужно (правда, негильбертовского типа, а на основе натурального вывода) я видел только в учебнике Тимофеевой "Математическая логика".

[Retro]

https://obuchalka.org/20200209118243/ma ... -2006.html
Математическая логика, Колмогоров А.Н., Драгалин А.Г., 2006.

[kernel1983]

Retro в сообщении #1535497 писал(а):

Математическая логика, Колмогоров А.Н., Драгалин А.Г., 2006.

Посмотрел. К сожалению, там нет формальных выводов. Но всё равно спасибо, книга оказалась полезной для меня.

[Gagarin1968]

kernel1983
А Вам обязательно на русском?
Если владеете английским, есть хорошая книга: Suppes, Axiomatic Set Theory, 1972. Именно по формальной теории.
Сам читал её лет 30 назад. Правда, сквозь текст нужно пробиваться с трудом. Короче, работать надо.

[kernel1983]

Gagarin1968, большое спасибо. Английским владею плохо, но в данном случае, думаю, разберусь.