Mathematical logic

Математическая логика - это искусство и наука математического мышления. Этот текст, написанный для студентов-логиков, представляет математическую или "символическую" логику как надежный инструмент дедуктивного мышления в области компьютерных наук, математики, философии и других смежных дисциплин.