Гильберт Д. Основы теоретической логики / Д. Гильберт, В. Аккерман: пер. с нем. А. А. Ерофеева; под ред. С. А. Яновской, 2010. - 304 с. - Текст : непосредственный.
Приложение
для Android