Symbolic Logic and Mechanical Theorem ProvingЭлектронная книгаSymbolic Logic and Mechanical Theorem ProvingавтораChin-Liang ChangРейтинг: 0 из 5 звезд0 оценокСохранить Symbolic Logic and Mechanical Theorem Proving на потом