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€18.00Il paradiso di Cantor
Autore: Bernays Paul, Kreisel Georg, Montague Richard, Mostowski Andrzej, Skolem Thoralf, Ullian Josevh S., Zermelo ErnstA cura di: Cellucci C.Le discussioni recenti sui fondamenti della teoria degli insiemi si continua
-
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
-
Esaurito
Leggi tuttoQuick View€21.00Intuitionistic Type Theory
Autore: Martin-Lof PeerThese lectures were given in Padova at the Laboratorio per continua
-
Aggiungi al carrelloQuick View€36.00Selected Essays
Autore: Van Heijenoort J.The questions that arise when we confront a systematic logic continua