литература по теории множеств, логике

[alex4]

He подскажете, что лучше почитать по теме, чтобы получить базовое представление.
Имеется в виду возможность понимать соответствующию терминологию и решать несложные задачи.
Я хотел бы лучше разобраться в лямбда исчислении, теориях типов и многом другом, но понимаю, что
мне явно нехватает знаний. Если я сам буду искать соответствующую литературу - скорее убью море
времени и прочитаю множество вещей которые все равно буду плохо понимать, возможно вы знаете
достаточно интересную и понятную для чтения литературу. Мой уровень знаний таков, что я плохо
понимаю, чем отличется кольцо от поля.

более конкретно - мне нужно понимание стандартной терминологии и наверное оснований математики

[qwertylol]

мне Лавров понравился, но там теории мало, одни задачи c решениями.

[alex4]

теория нужна. я хочу понимать почему задача решается именно так, a не просто уметь ee решать непонятно зачем. a как называтся книга(книги) лаврова?

[alex4]

Ну пожааалуйста. Надо же c чего то начинать. Неужели никто не знает хорошего введения в математику, начиная c оснований математики, чтобы понимать, как все взаимосвязано? Должен же быть способ учить математику получив сначала базовые знания, a не повторяя геометрию и дифференциальное исчисление(например), которые мне не особо нужны - чтобы получить полные, a не отрывочные знания в тех областях, которые интересны (и в тех которые необходимы)?