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
-
€21.00Fixed point constructions in various theories of Mathematical Logic
Autore: Sommaruga - Rosolemos GiovanniThis thesis deals with fixed point constructions in various theories continua
-
€18.00La teoria della dimostrazione di Hilbert
Autore: Moriconi EnricoMoriconi espone i temi di fondo del programma hilbertiano senza continua
-
€34.00Scritti postumi
Autore: Frege GottlobGli scritti postumi coprono quasi l’intero arco della produzione di continua
-
€36.00Logical problems of the medieval theory of consequences
Autore: Schupp FranzThe 14th century theory of consequences is rightly considered one continua