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
-
AcquistaQuick View€39.00Gödel Remembered
The contributers deal with topics concerning Gödel’s life and interests continua
-
Esaurito
Per saperne di piùQuick View€21.00Intuitionistic Type Theory
Autore: Martin-Lof PeerThese lectures were given in Padova at the Laboratorio per continua
-
Esaurito
Per saperne di piùQuick ViewScritti sui fondamenti della matematica
Autore: Dedekind Richard J. W.Chi già non le conosca, leggendo le due brevi operette continua
-
AcquistaQuick View€23.00Completezza, compattezza, indecidibilità
Autore: Manaster Alfred B.Questo volume presenta in forma compatta alcune delle tecniche e continua