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€41.00Proof Theory of Impredicative Subsystem of Analysis
The present book provides a uniform proof-theoretical treatment of several continua
-
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€62.00English Logic in Italy in the 14th and 15th centuries
A cura di: Maierù A.The book covers the broadest possible spectrum of current research continua
-
Aggiungi al carrelloQuick View€77.00Proof Theory and Logical Complexity
Autore: Girard Jean-YvesThis book is intended to be an introduction to proof-theory. continua