Questa collana raccoglie testi a livello universitario per lo studio della logica matematica.
-
AcquistaQuick View
La teoria della dimostrazione di Hilbert
Autore: Moriconi EnricoMoriconi espone i temi di fondo del programma hilbertiano senza continua
-
AcquistaQuick View
Completezza, compattezza, indecidibilità
Autore: Manaster Alfred B.Questo volume presenta in forma compatta alcune delle tecniche e continua