Non so quanto i problemi aiutino un libro così tecnico

Comincio subito a mettere le mani avanti. Nonostante le apparenze, questo testo è molto tecnico, tanto che parte dai teoremi di indeterminatezza di Gödel e prosegue con le successive semplificazioni ed estensioni. Certo, è nello stile di Smullyan e quindi la trattazione è sotto forma di problemini (e problemoni...) da risolvere: confesso che dopo un po' ho lasciato perdere i problemi e mi sono limitato a guardare la parte con le soluzioni. Insomma, perfetto per gli amanti della logica a livello universitario, ma non so a chi lo consiglierei. ( )