Logika in razvedrilna matematika