Navěky nerozhodnuto. Úvod do logiky a zábavný průvodce ke Gödelovým objevům v Knihotéce 9x