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€21.00Proprietà e operazioni
Autore: Cantini AndreaBehmann (1931) proponeva una nuova linea di approccio alle antinomie 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€26.00Theories for admissible sets
Autore: Jäger GerhardIn this Habilitationschrift we will present a unifying approch to 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