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
-
Esaurito
Per saperne di piùQuick ViewRicerche sui fondamenti della matematica
Autore: Hilbert DavidQuesto volume mette per la prima volta a disposizone del continua
-
AcquistaQuick View€21.00Fixed point constructions in various theories of Mathematical Logic
Autore: Sommaruga - Rosolemos GiovanniThis thesis deals with fixed point constructions in various theories continua
-
AcquistaQuick View€23.00Completezza, compattezza, indecidibilità
Autore: Manaster Alfred B.Questo volume presenta in forma compatta alcune delle tecniche e continua
-
AcquistaQuick View€62.00Selected Papers in Proof Theory
Autore: Mintz Grigorii E.This collection includes papers devoted to the structural theory of continua