Тут представлен небольшой фрагмент из давней книжечки Г.П.Мельникова "Азбука математической логики", которая вышла массовым тиражом в издательстве "Знание" в тысяча девятьсот (страшно подумать) шестьдесят седьмом году и с тех пор является у меня настольной, не сходящей с "пьедестала".

По-моему, в этом отрывке хорошо расставлены акценты на те особенности в подходе к самой логике, которые, как мне кажется, с несколько излишним убеждением отстаивают на форуме некоторые официальные лица [не буду говорить кто именно, но это Болдачев].