Я. Б. Зельдович и И. М. Яглом - Высшая математика для начинающих.

Учебник формата djvu. Для просмотра необходим, к примеру, WinDjView

Очень хороший учебник, понятно все описано, с примерами. Советую.

Очень хорошая программа для решения Систем Линейных Уравнений методом Гаусса. Выводится подробный ответ, по действиям. Приводит к ступенчатому виду.

Учебник по математической логике. Содержит большой материал.

Сам я не пользовался им, но так просмотрел, вроде неплохой: тем много, каждая тема описывается кратко, но понятно, присутствуют примеры и доказательства, ну вообщем советую посмотреть....