Цахим шуудангийн бүртгэл: Учение логике о доказательстве и опровежении