KRAJÍČEK, J. A fundamental problem of mathematical logic. Berlin: Springer, 1996. ISBN 3-211-82796-X. ISSN 0947-577X. In: Collegium Logicum. , s. 56-64.