Schwartz J.T. Computational Logic and Set Theory : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo., 2011 r=on-line (Введено оглавление). - Текст : электронный.
Приложение
для Android