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€34.00Scritti postumi
Autore: Frege GottlobGli scritti postumi coprono quasi l’intero arco della produzione di continua
-
Aggiungi al carrelloQuick View€39.00Gödel Remembered
The contributers deal with topics concerning Gödel’s life and interests 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
