3 мая 2024 у домена  mathtree.ru  сменился владелец, который изменил профиль использования сайта  http://www.mathtree.ru
Первый, второй, четвёртый тома, четвёртый том во второй и четвёртой редакции, пятый том, пятый том во второй редакции, шестой том во второй и третьей редакциях, и седьмой том книги
Кузнецова Владимира Алфеевича
« Интуиционистская теория множеств »
до апреля 2024 года находились на первой и второй страницах сайта   https://scholar.google.com/
по поисковому запросу :

Интуиционистская теория множеств
Скришоты первой и второй страниц с сайта   https://scholar.google.com/
Разработка Информационной системы математических Интернет-ресурсов MathTree была начата в 2003 г.  под руководством академика Ю.Л. Ершова в рамках интеграционного проекта СО РАН "Разработка древовидного каталога математических Интернет-ресурсов" (2003-2005) и продолжена в рамках междисциплинарного интеграционного проекта "Древовидный каталог математических Интернет-ресурсов" (2006-2008). Необходимость создания системы MathTree была обусловлена проблемой упорядочивания существующих и вновь создаваемых математических ресурсов
Детально с проектом MathTree можно ознакомиться
в следующей монографии
и статье
Ю. Л. Ершов, О. А. Клименко, И. И. Матвеева,
В. В. Пикалов, Математическая информационная 
система MathTree, УМН, 2007, том 62, выпуск 5,
133–142
Ю.Л.Ершов, О.А.Клименко, Н.А.Мазов, И.И.Матвеева,
В.В.Пикалов, В.Э.Филиппов, М.Я.Филиппова
Информационная система математических Интернет-ресурсов MathTree
Издатель: Изд-во СО РАН , Место издания: Новосибирск ,  Год издания: 2010 , Страниц: 288
В проекте MathTree учавствовали следующие
научно-исследовательские институты:
• Институт математики им. С.Л. Соболева СО РАН;
• Институт систем информатики имени А.П. Ершова
   СО РАН;
• Института вычислительной математики и  
   математической геофизики СО РАН;
• Институт вычислительных технологий СО РАН;
• Институт теоретической и прикладной механики
   им. С.А. Христиановича СО РАН;
• Институт автоматики и электрометрии СО РАН;
• Институт гидродинамика им. М.А. Лаврентьева
   СО РАН;
• Институт автоматики и процессов управления
   ДВО РАН.
Первый, второй, третий, четвертый, пятый, шестой и седьмой тома книги Кузнецова Владимира Алфеевича  « Интуиционистская теория множеств », а также переводы на английский язык  второго, третьего, четвертого, пятого и  шестого томов этой книги были опубликованы в электронном виде на сайте 
http://www.mathtree.ru  в разделе  Алгебра и Логика.
Академик Ю.Л. Ершов является основателем и руководителем Информационной системы математических Интернет-ресурсов MathTree
Юрий Леонидович Ершов
Скришот раздела  Алгебра и Логика  сайта http://www.mathtree.ru
Скришот страницы
http://persons.mathtree.ru/kouznetsov/
Персональная страница

Кузнецова Владимира Алфеевича

http://persons.mathtree.ru/kouznetsov/

с публикациями семи томов его книги  «Интуиционистская теория множеств»
размещалась на сайте  http://www.mathtree.ru
с декабря 2012 года по апрель 2024 года .
Проект  MathTree  был представлен на сайте http://www.mathtree.ru
с 2004 года по апрель 2024 года