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