Logica matematica: Esercizi e soluzioni

Titolo originale:

Mathematical Logic: Exercises and Solutions

Contenuto del libro:

I capitoli iniziali partono da problemi provenienti da campi di supporto, come la teoria degli insiemi (costruzioni di ultrafiltri), la teoria dei giochi a informazione completa (strategie), gli automi e la teoria della ricorsione (decidibilità, teoremi di Kleene).