Boehme G. Einstieg in die mathematische Logik / Gert Boehme. - Muenchen Wien : Hanser Verlag, 1981. - 208 S.