MartinM.GoldsternMartinM., The Incompleteness Phenomenon. A new course in mathematical logic, HaimH.Judah, Wellesley, Massachusetts: A K Peters, 1995, ISBN 1-56881-029-6, OCLC29254857. Brak numerów stron w książce
Witold AdamW.A.PogorzelskiWitold AdamW.A., Klasyczny rachunek kwantyfikatorów, zarys teorii, Warszawa: Państwowe Wydawnictwo Naukowe, 1981, ISBN 83-01-00567-X, OCLC69480408. Brak numerów stron w książce