@book{13681556,
	author = {Лупанов, О. Б.},
	title = {Конспект лекций О. Б. Лупанова по курсу "Введение в математическую логику"},
	publisher = {Изд-во Московского университета},
	year = {2025},
	series = {Классический университетский учебник},
	address = {Москва},
	edition = {3-е изд.},
	note = {На авантит.: Московский государственный университет имени М. В. Ломоносова, 270 лет}
}