Подскажите книги по ТеорВер

[Really]

Подскажите хорошую книгу по Теории Вероятностей. Очень желательно, чтобы она была в электронном виде в интернете.

У меня есть Е. Вентцель "Теория Вероятностей" 3-е издание (в бумаге), но она расчитана на нематематиков (слушателей академии Жуковского кам так указано), и там отсутствует ряд доказательств, некоторые даются в каком-то урезанном эвристическом виде, да и в целом рассчитана на практическое применение. В общем не устраивает неглубокий уровень математики и некая математическая расплывчатость определений и формулировок.

Буду очень признателен за хороший совет или ссылку. Спасибо за внимание.

[Dan_Te]

Вот классические книги:
Феллер В. "Введение в теорию вероятностей и ее приложения" (два тома)
Ширяев, "Вероятность" (старое издание - один том, более новое - двухтомник)
Лоэв М. "Теория вероятностей"
Гнеденко Б.В. "Курс теории вероятностей"

А вообще, вот ссылка на программу 4 семестра мехмата, там есть образцы программ разных лекторов и линк на рекомендуемую литературу.
http://lib.mexmat.ru/show.php?c=2&f=1&s=2

[Really]

Спасибо. Уже качаю.