Bounded Arithmetic
Lingua: inglese
Categoria: LOGICA, Logica matematica, MATEMATICA.€31.00
This dissertation uses methods from mathematical logic to examine issues related to computational complexity.
Prodotti correlati
-
Aggiungi al carrelloQuick View€18.00La teoria della dimostrazione di Hilbert
Autore: Moriconi EnricoMoriconi espone i temi di fondo del programma hilbertiano senza continua
-
Aggiungi al carrelloQuick View€36.00Logical problems of the medieval theory of consequences
Autore: Schupp FranzThe 14th century theory of consequences is rightly considered one continua
-
Esaurito
Leggi tuttoQuick ViewScritti sui fondamenti della matematica
Autore: Dedekind Richard J. W.Chi già non le conosca, leggendo le due brevi operette continua
-
Aggiungi al carrelloQuick View€23.00Completezza, compattezza, indecidibilità
Autore: Manaster Alfred B.Questo volume presenta in forma compatta alcune delle tecniche e continua