Navěky nerozhodnuto. Úvod do logiky a zábavný průvodce ke Gödelovým objevům v Přečtených 7x