Niektóre zdania do analizy logicznej zostały zaczerpnięte ze słownika ortograficznego St. Jodłowskiego i W. Taszyckiego. Przykłady 6.8 i 6.9 pochodzą podobno od R. Smullyana, a zostały znalezione w książce "The Logical Basis for Computer Programming" Z. Manny i R. Waldingera. Aksjomatyzacja rachunku zdań i przykład dowodu formalnego przedstawiony w punkcie 6.5 pochodzi z książki p. prof. H.Rasiowej "Wstęp do Matematyki Współczesnej".