Мат.логика и IP-сети

Здравствуйте!Посоветуйте плз толковое чтиво по IP-сетям, более-менее новое(печатное издание =), а также если кто сталкивался - по мат.логике (можно линку на пдфку или ещё чего-нибудь...) Заранее спасибо!