A mathematical introduction to logic - Enderton, Herbert B. (San Diego [etc.] : HAP [i. e.] Harcourt Academic Press, 2001)
Bilješke uz tekst.
Bibliografija: str. 307-308.
Kazalo.
Keywords: Simbolička i matematička logika -- Udžbenici