[30.06.1999] В лемата за транзитивност от въпроса "Скулемова нормална форма" е поправена печатна грешка: в края на първото изречение (от варианта с дата 17.05.1999) вместо j става jў. Към записките е добавена информация със заглавие "Изменения след 8.06.1999" и то е добавено към съдържанието (за съжаление при добавянето е допусната печатна грешка - вместо "06" на съответния ред от съдържанието е писано "08").
[07.07.1999] В бележките, озаглавени "Technical Information", значително е преработена и допълнена частта, написана на кирилица, а относителният адрес в препратката към електронната страница на автора е заменен с абсолютен.
[08.07.1999] Във въпроса "Формални системи за извеждане на тъждествено верни секвенции" чрез замяна на <TABLE> с <TABLE CELLSPACING=0> леко е намалено мястото на екрана, което заемат извеждащите правила на системата G и извеждащите правила на системата Gў. Във връзка с това на съответното място в бележките, озаглавени "Technical Information", е премахната добавката, че понякога при представянето на формули командата за таблица е използвана без CELLSPACING=0. В HTML-файла за съдържанието са премахнати знакосъчетанията </LI> като несъответстващи на правилата на езика. Поправена е печатната грешка в съдържанието, допусната на 30.06.1999.
[26.07.1999] Бележките, озаглавени "Technical Information", намиращи се до този момент във файла index.html, са разпределени в два текста - "Preface" и "Technical Information", намиращи се в новосъздадени файлове, като първият от споменатите два текста съдържа и допълнителна информация. Съдържанието на файла INDEX.HTML е сведено до посочване на английски език на заглавието и автора и до препратка към "Preface". Към съдържанието са добавени заглавията "Preface" и "Technical Information", а от него е махнато заглавието "Изменения след 8.06.1999". Информацията с последното заглавие е заменена с настоящия материал и към него е дадена препратка от текста "Preface". Навсякъде в записките е премахнат бутонът с надпис "Technical Information". Добавена е възможност за лесно създаване на локално копие на записките.
[05.08.1999] В имената на файловете от архива, служещ за създаване на локално копие на записките, всички главни букви са заменени със съответните им малки.
[06.08.1999] Главните букви са заменени със съответните им малки в имената на всички файлове, съставляващи записките.
[09.08.1999] В текста, озаглавен "Preface", последните две препратки към други текстове от записките са оформени във вид на бутони. В текста, озаглавен "Technical Information", са предвидени алтернативни словесни описания на включените два графични образа и е добавен един свободен ред преди информацията за датата на последното изменение.
[09.09.1999] В текста "Безкванторни формули" думите "е модел" са заменени с думата "удовлетворява" в изречението "Като приложим следствието от лемата за двоични функции, съответни на безкванторни формули, и използваме, че (S,v) е модел на M, заключаваме, че (Sў,vў) също е модел на M" (от доказателството на лемата за Ербранова изпълнимост на множество от безкванторни формули). В последното изречение на третия абзац от текста "Предикатно смятане с равенство" думите "последните понятия" са заменени с думите "понятието изпълнимост". В препратката, дадена във файла index.html, относителният адрес е заменен с абсолютен.
[11.09.1999] В скобите в първия абзац на текста "Операции, предикати, сигнатури, структури" е добавено, че за числата 0 и 1 като стойности на предикати ще считаме, че символизират съответно понятията "лъжа" и "истина".
[20.09.1999] Добавен е транслитериран на латиница вариант на съдържанието и е включена препратка към него в първия абзац на текста, озаглавен "Technical Information".
[06.10.2000] Поправена е печатна грешка в първия абзац на текста "Индуктивни дефиниции". В текста "Преименуване на променливи" е заменено v с v във формулата преди теоремата за стойността на резултата от преименуване.
[06.12.2000] Отстранена е неточност в доказателството на теоремата за свеждане на безкванторна секвенция към елементарни секвенции в текста "Секвенции". А именно, преди изброяването на шестте възможни вида секвенции, които се разглеждат при положително h, е добавено изискването при означените прибавяния на формула към множество тя да не е негов елемент.
[27.12.2000] В текста "Разширение и сечение на секвенции" е прередактирана дефиницията за съществено сечение на две секвенции, като в нея е избегната употребата на думата "сечение" в смисъла й от теорията на множествата. В първия абзац на текста "Критерий за неизпълнимост на множество от елементарни секвенции" е коригирана сгрешена препратка към задача от предходния въпрос.
[05.01.2001] В края на предпоследното изречение от втория абзац на текста "Нестандартни естествени числа" е премахнато излишното и неуместно в случая "в предикатното смятане с равенство".
[09.01.2001] Отпада отделният файл с бележки към текстовете, а бележките от него биват поставени в края на съответните текстове. В текста "Универсални формули. Метод на Ербран за изследване на изпълнимост" добавено едно изречение в края на забележка 4, препращащо и към бележка в края на въпросния текст. След забележка 4 включен още един пример.
[10.01.2001] В пример 5 от текста "Универсални формули. Метод на Ербран за изследване на изпълнимост" думите "същите предположения за f" и "в произволен модел" заменени съответно с думите "същотo предположениe за множеството на функционалните символи" и "във всеки модел".
[29.07.2002] Добавено приложение "Примерни задачи за държавен изпит и техни решения".