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€26.00Indagini semantiche sulle logiche intermedie proposizionali
Autore: Minari Pier L.Con il nome di “logiche intermedie proposizionali” (Umezawa 1955) si 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€36.00Logical problems of the medieval theory of consequences
Autore: Schupp FranzThe 14th century theory of consequences is rightly considered one continua
-
Aggiungi al carrelloQuick View€62.00Selected Papers in Proof Theory
Autore: Mintz Grigorii E.This collection includes papers devoted to the structural theory of continua